Augusto, Luís Manuel da Silva Demonstração automática de teoremas em lógicas não clássicas [Texto policopiado] : resolução assinalada para lógicas multivalentes / Luís Manuel da Silva Augusto

Demonstração automática de teoremas em lógicas não clássicas [Texto policopiado] : resolução assinalada para lógicas multivalentes / Luís Manuel da Silva Augusto . - [Lisboa] : [s.n.], 2013 . - 149 p. . - Tese de MEMC apresentada à Universidade Aberta, sob orientação dos Profs. Mário Jorge Edmundo e Reinhard KahleVersão digital da tese com a cota: L.C. 1427

TMEMC / Lógica / Matemática /

L.S. 48638 TMEMC (UAb-Lisboa) - LS48638