Buscas alternativas:
inheritance logic » inheritance of (Expandir a busca), inheritance law (Expandir a busca), inference logic (Expandir a busca)
inheritance logic » inheritance of (Expandir a busca), inheritance law (Expandir a busca), inference logic (Expandir a busca)
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
Tese