Teoria de Conjuntos em Isabelle
| Data(s) |
09/12/2011
09/12/2011
2006
|
|---|---|
| Resumo |
Francisco Miguel A. C. de Sousa Dionísio |
| Identificador | |
| Idioma(s) |
por |
| Publicador |
Universidade da Madeira |
| Direitos |
openAccess |
| 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 |
| Tipo |
masterThesis |
