Buscas alternativas:
graph functional » brain functional (Expandir a busca), edaphic functional (Expandir a busca), guandu functional (Expandir a busca)
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
algorithms data » algorithms and (Expandir a busca), algorithms to (Expandir a busca), algorithms with (Expandir a busca)
programming in » programming and (Expandir a busca), programming _ (Expandir a busca), programming of (Expandir a busca)
in algorithms » main algorithms (Expandir a busca), and algorithms (Expandir a busca), ant algorithms (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)
graph functional » brain functional (Expandir a busca), edaphic functional (Expandir a busca), guandu functional (Expandir a busca)
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
algorithms data » algorithms and (Expandir a busca), algorithms to (Expandir a busca), algorithms with (Expandir a busca)
programming in » programming and (Expandir a busca), programming _ (Expandir a busca), programming of (Expandir a busca)
in algorithms » main algorithms (Expandir a busca), and algorithms (Expandir a busca), ant algorithms (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