Buscas alternativas:
math programming » fetal programming (Expandir a busca)
programming type » programming time (Expandir a busca), programming the (Expandir a busca), programming by (Expandir a busca)
type algorithm » code algorithm (Expandir a busca), mppt algorithm (Expandir a busca), simple algorithm (Expandir a busca)
base function » basis function (Expandir a busca), phase function (Expandir a busca), wave function (Expandir a busca)
algorithm s » algorithm _ (Expandir a busca), algorithm 2 (Expandir a busca), algorithm svm (Expandir a busca)
in math » in mato (Expandir a busca)
s base » s based (Expandir a busca), s bases (Expandir a busca), _ base (Expandir a busca)
math programming » fetal programming (Expandir a busca)
programming type » programming time (Expandir a busca), programming the (Expandir a busca), programming by (Expandir a busca)
type algorithm » code algorithm (Expandir a busca), mppt algorithm (Expandir a busca), simple algorithm (Expandir a busca)
base function » basis function (Expandir a busca), phase function (Expandir a busca), wave function (Expandir a busca)
algorithm s » algorithm _ (Expandir a busca), algorithm 2 (Expandir a busca), algorithm svm (Expandir a busca)
in math » in mato (Expandir a busca)
s base » s based (Expandir a busca), s bases (Expandir a busca), _ base (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