1. DigitUMa
  2. Comunidades & Colecções
  3. Universidade da Madeira
  4. Dissertações de Mestrado
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
Mostrar registo em formato completo Dê a sua opinião sobre este registo.


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote 

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