Item
Ministerio de Econom铆a y Competitividad (Espanya)
Generalitat de Catalunya. Ag猫ncia de Gesti贸 d鈥橝juts Universitaris i de Recerca |
|
2018 June 1 | |
http://hdl.handle.net/2072/313415 | |
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 Complexitat computacional Computational complexity |
|
Anti-unification for unranked terms and hedges | |
info:eu-repo/semantics/article | |
Recercat |