Buscas alternativas:
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
functions graph » function graph (Expandir a busca), functional graphs (Expandir a busca), functional grups (Expandir a busca)
graph funcional » grupo funcional (Expandir a busca)
programming of » programming _ (Expandir a busca), programming and (Expandir a busca), programming logic (Expandir a busca)
base functions » base function (Expandir a busca), basis functions (Expandir a busca), hash functions (Expandir a busca)
algorithm and » algorithms and (Expandir a busca), algorithm _ (Expandir a busca)
of algorithm » of algorithms (Expandir a busca), hoff algorithm (Expandir a busca), wolf algorithm (Expandir a busca)
and base » and bases (Expandir a busca), and biases (Expandir a busca), acid base (Expandir a busca)
in math » in mato (Expandir a busca)
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
functions graph » function graph (Expandir a busca), functional graphs (Expandir a busca), functional grups (Expandir a busca)
graph funcional » grupo funcional (Expandir a busca)
programming of » programming _ (Expandir a busca), programming and (Expandir a busca), programming logic (Expandir a busca)
base functions » base function (Expandir a busca), basis functions (Expandir a busca), hash functions (Expandir a busca)
algorithm and » algorithms and (Expandir a busca), algorithm _ (Expandir a busca)
of algorithm » of algorithms (Expandir a busca), hoff algorithm (Expandir a busca), wolf algorithm (Expandir a busca)
and base » and bases (Expandir a busca), and biases (Expandir a busca), acid base (Expandir a busca)
in math » in mato (Expandir a busca)
1
“... equacional são fornecidos. Um algoritmo de unificação módulo C baseado em regras de redução é especificado...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese