Buscas alternativas:
computing algorithm » routing algorithm (Expandir a busca), computer algorithm (Expandir a busca), computer algorithms (Expandir a busca)
learning algorithm » learning algorithms (Expandir a busca)
order variable » under variable (Expandir a busca), one variable (Expandir a busca), mode variable (Expandir a busca)
computing algorithm » routing algorithm (Expandir a busca), computer algorithm (Expandir a busca), computer algorithms (Expandir a busca)
learning algorithm » learning algorithms (Expandir a busca)
order variable » under variable (Expandir a busca), one variable (Expandir a busca), mode variable (Expandir a busca)
1
Assuntos:
“...First-order unification...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese