Buscas alternativas:
computing algorithm » routing algorithm (Expandir a busca), computer algorithm (Expandir a busca), computer algorithms (Expandir a busca)
boosting algorithm » boosting algoritimo (Expandir a busca), routing algorithm (Expandir a busca), routing algorithms (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 ((boosting algorithm) OR (computing algorithm))', tempo de busca: 0,30s

1

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

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Acessar documento
Tese