Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.13/205
Título: Teoria de Conjuntos em Isabelle
Autor: Araújo, Helena Paula Nunes
Palavras-chave: Teoria de Conjuntos
Sistema de Zermelo-Fraenkel
Axiomática
Demonstração automática
Isabelle
Tácticas e tacticais
.
Centro de Ciências Exatas e da Engenharia
Data de Defesa: 2006
Editora: Universidade da Madeira
Peer review: yes
URI: http://hdl.handle.net/10400.13/205
Aparece nas colecções:Dissertações de Mestrado

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
MestradoHelenaAraújo.pdf47,83 MBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.