Buscas alternativas:
math programming » fetal programming (Expandir a busca)
semantic math » semantic data (Expandir a busca), semantic with (Expandir a busca), semantic matrix (Expandir a busca)
math programming » fetal programming (Expandir a busca)
semantic math » semantic data (Expandir a busca), semantic with (Expandir a busca), semantic matrix (Expandir a busca)
1
“... specification in which parameters are used to abstract variables, such as in predicates and functions. In the...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese