-
1por Batista Neto, Alberto Leopoldo., Medeiros, Maria da Paz Nunes de., Universidade Federal do Rio Grande do Norte.“... semântico. Alternativamente, uma lógica modal pode tratar de demonstrabilidade e consistência em um sistema...”
Mais informações
Monografia UFRN -
2“..., entio, apresentar a estrutura logica de tal teeniea de demonstracao a partir de urn dado sistema formal...”
Mais informações
Online -
3
-
4“... nossa implementação de um sistema formal de refutação; descrever a integração de nossa infraestrutura...”
Mais informações
Dissertação -
5
-
6
-
7
-
8