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)
programming and » programming _ (Expandir a busca), programming model (Expandir a busca)
function graph » functional grups (Expandir a busca)
and algorithm » and algorithms (Expandir a busca), an algorithm (Expandir a busca), bound 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)
programming and » programming _ (Expandir a busca), programming model (Expandir a busca)
function graph » functional grups (Expandir a busca)
and algorithm » and algorithms (Expandir a busca), an algorithm (Expandir a busca), bound 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