Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/2012

TitleGuiões das aulas práticas laboratoriais sobre o sistema COQ
Author(s)Frade, M. J.
Pinto, Jorge Sousa
KeywordsCoq proof assistant
Lógica
Lambda-calculus
Teoria de tipos
Sistemas de prova assistida
Issue date1998
PublisherUniversidade do Minho. Departamento de Informática
CitationPINTO, Jorge Sousa ; FRADE, Maria João Gomes – “Guiões das aulas práticas laboratoriais sobre o sistema COQ” [Em linha]. [S.l.] : Departamento de Informática Universidade do Minho. 1998. [Consult. 8 Jun. 2005]. Disponível em: http://www.di.uminho.pt/~mjf/publications
TypeOther
URIhttp://hdl.handle.net/1822/2012
AccessOpen access
Appears in Collections:DI/CCTC - Publicações Pedagógicas

Files in This Item:
File Description SizeFormat 
sebELP2.ps725,87 kBPostscriptView/Open
sebELP2.pdf402,57 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID