Ítem
|
Ministerio de Economía y Competitividad (Espanya)
Generalitat de Catalunya. Agència de Gestió d’Ajuts Universitaris i de Recerca |
|
| 1 juny 2018 | |
| 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 |
