Repository logo
 
Publication

Teoria de Conjuntos em Isabelle

dc.contributor.authorAraújo, Helena Paula Nunes
dc.date.accessioned2011-12-09T15:27:20Z
dc.date.available2011-12-09T15:27:20Z
dc.date.issued2006
dc.description.sponsorshipFrancisco Miguel A. C. de Sousa Dionísiopor
dc.identifier.urihttp://hdl.handle.net/10400.13/205
dc.language.isoporpor
dc.peerreviewedyespor
dc.publisherUniversidade da Madeirapor
dc.subjectTeoria de Conjuntospor
dc.subjectSistema de Zermelo-Fraenkelpor
dc.subjectAxiomáticapor
dc.subjectDemonstração automáticapor
dc.subjectIsabellepor
dc.subjectTácticas e tacticaispor
dc.subject.por
dc.subjectCentro de Ciências Exatas e da Engenhariapor
dc.titleTeoria de Conjuntos em Isabellepor
dc.typemaster thesis
dspace.entity.typePublication
rcaap.rightsopenAccesspor
rcaap.typemasterThesispor

Files