Ítem
1 juny 2018 | |
http://hdl.handle.net/2072/312167 | |
Dagstuhl Publishing | |
Attribution-NonCommercial-NoDerivs 3.0 Spain | |
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | |
Algorismes computacionals
Computer algorithms Lògica matemàtica Logic, Symbolic and mathematical Complexitat computacional Computational complexity |
|
An Efficient Nominal Unification Algorithm | |
info:eu-repo/semantics/article | |
Recercat |