Buscas alternativas:
resolution algorithm » solution algorithm (Expandir a busca), evolution algorithm (Expandir a busca), reduction algorithm (Expandir a busca)
programs resolution » programs evolution (Expandir a busca), problems resolution (Expandir a busca), problems resolutions (Expandir a busca)
checking programs » tracking programs (Expandir a busca), screening programs (Expandir a busca), screnning programs (Expandir a busca)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using methods » tuning methods (Expandir a busca), costing methods (Expandir a busca), testing methods (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'checking programs resolution algorithm using methods~', tempo de busca: 0,73s

1

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Acessar documento
Tese