Publicação
Teoria de Conjuntos em Isabelle
| dc.contributor.author | Araújo, Helena Paula Nunes | |
| dc.date.accessioned | 2011-12-09T15:27:20Z | |
| dc.date.available | 2011-12-09T15:27:20Z | |
| dc.date.issued | 2006 | |
| dc.description.sponsorship | Francisco Miguel A. C. de Sousa Dionísio | por |
| dc.identifier.uri | http://hdl.handle.net/10400.13/205 | |
| dc.language.iso | por | por |
| dc.peerreviewed | yes | por |
| dc.publisher | Universidade da Madeira | por |
| dc.subject | Teoria de Conjuntos | por |
| dc.subject | Sistema de Zermelo-Fraenkel | por |
| dc.subject | Axiomática | por |
| dc.subject | Demonstração automática | por |
| dc.subject | Isabelle | por |
| dc.subject | Tácticas e tacticais | por |
| dc.subject | . | por |
| dc.subject | Centro de Ciências Exatas e da Engenharia | por |
| dc.title | Teoria de Conjuntos em Isabelle | por |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess | por |
| rcaap.type | masterThesis | por |