Buscas alternativas:
constraint programming » concurrent programming (Expandir a busca)
functional constraint » functional constraints (Expandir a busca), functional constipation (Expandir a busca), functional trait (Expandir a busca)
based functional » and functional (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'based functional constraint programming', tempo de busca: 0,20s

1

“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”

Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity

Acessar documento
Tese

2

O uso de algoritmos evolutivos para a formação de grupos na aprendizagem colaborativa no contexto corporativo

Publicado em 2013
Acessar documento
Dissertação