Item
| Ministerio de Econom铆a y Competitividad (Espanya) | |
| 2018 June 1 | |
| http://hdl.handle.net/2072/313462 | |
| Springer Verlag | |
| Attribution 3.0 Spain | |
| http://creativecommons.org/licenses/by/3.0/es/ | |
|
Algorismes computacionals
Computer algorithms L貌gica matem脿tica Logic, Symbolic and mathematical |
|
| Higher-Order Pattern Anti-Unification in Linear Time | |
| info:eu-repo/semantics/article | |
| Recercat |
