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