Buscas alternativas:
computing algorithm » routing algorithm (Expandir a busca), computer algorithm (Expandir a busca), computer algorithms (Expandir a busca)
saving algorithm » racing algorithms (Expandir a busca), sensing algorithm (Expandir a busca), slicing algorithm (Expandir a busca)
order variable » under variable (Expandir a busca), one variable (Expandir a busca), mode variable (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'first-order variable ((saving algorithm) OR (computing algorithm))', tempo de busca: 0,26s

1

Assuntos: “...First-order unification...”

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Acessar documento
Tese