Buscas alternativas:
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
graph functional » brain functional (Expandir a busca), edaphic functional (Expandir a busca), guandu functional (Expandir a busca)
algorithms data » algorithms and (Expandir a busca), algorithms to (Expandir a busca), algorithms with (Expandir a busca)
programming an » programming and (Expandir a busca), programming in (Expandir a busca), programming on (Expandir a busca)
function graph » functional grups (Expandir a busca)
an algorithms » and algorithms (Expandir a busca), ant algorithms (Expandir a busca), an algorithm (Expandir a busca)
base function » basis function (Expandir a busca), wave function (Expandir a busca), rate function (Expandir a busca)
using math » using batch (Expandir a busca), using paths (Expandir a busca), using atr (Expandir a busca)
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
graph functional » brain functional (Expandir a busca), edaphic functional (Expandir a busca), guandu functional (Expandir a busca)
algorithms data » algorithms and (Expandir a busca), algorithms to (Expandir a busca), algorithms with (Expandir a busca)
programming an » programming and (Expandir a busca), programming in (Expandir a busca), programming on (Expandir a busca)
function graph » functional grups (Expandir a busca)
an algorithms » and algorithms (Expandir a busca), ant algorithms (Expandir a busca), an algorithm (Expandir a busca)
base function » basis function (Expandir a busca), wave function (Expandir a busca), rate function (Expandir a busca)
using math » using batch (Expandir a busca), using paths (Expandir a busca), using atr (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