Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes / Luís Manuel da Silva Augusto
Autor Augusto, Luís Manuel da Silva Publicação [Lisboa] : [s.n.], 2013 Descrição 149 p. Tese 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 Nome comum TMEMC
Lógica
Matemática Acesso virtual Referência no Repositório Aberto
| Tipo de documento | Localização | Cota | Estado | Data de devolução | Código de barras |
|---|---|---|---|---|---|
| Monografia | UAb-Lisboa | L.S. 48638 TMEMC | Não requisitável | LS48638 |
Não há comentários disponíveis sobre este título.