Repository logo
 
Publication

Teoria de Conjuntos em Isabelle

2006Master thesis Open access
Simple item page
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

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
MestradoHelenaAraújo.pdf
Size:
46.71 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Dissertações de Mestrado