Teoria de Conjuntos em Isabelle

Publication

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

Collections