Mostrando 1 - 4 resultados de 4 para a busca 'parallel types logic programming', tempo de busca: 0,13s

2

Assuntos: ...Distributed programming...

O sistema operacional de rede heterogêneo HetNOS

Publicado em 1993
Dissertação

3

... em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas....

Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos

Publicado em 1995
Tese

4

.... Para isso existem sistemas CLP (controlador lógico programável) que empregam microcontroladores responsáveis...

Automação do sistema de direção de uma colhedora de café

Publicado em 2013
Dissertação