Ítem
Ministerio de Economía y Competitividad (Espanya) | |
1 juny 2018 | |
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 |