Buscas alternativas:
parallel theories » parallel three (Expandir a busca)
logic » logica (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'parallel theories logic programming', tempo de busca: 0,12s

1

“... 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
Acessar documento
Tese