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 1disco ótico (CD-ROM) Notas gerais Tese de MEMC apresentada à Universidade Aberta, sob orientação dos Profs. Mário Jorge Edmundo e Reinhard Kahle. - Trata-se da versão digital da tese com a cota: L.S. 48638 TMEMC Nome comum TMEMCLó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 |
|---|---|---|---|---|---|
| Documento eletrónico | UAb-Lisboa | L.C. 1437 | Não requisitável | LC0001437 |
Requisitos do sistema: Acrobat Reader
Não há comentários disponíveis sobre este título.