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

TitleIntrodução ao sistema COQ de assistência à prova
Author(s)Frade, M. J.
Pinto, Jorge Sousa
KeywordsTeoria de tipos
Lambda-calculus
Prova assistida
Coq proof assistent
Issue date1998
PublisherUniversidade do Minho. Departamento de Informática
CitationFRADE, Maria João ; PINTO, Jorge Sousa – “Introdução ao sistema COQ de assistência à prova” [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/2046
AccessOpen access
Appears in Collections:DI/CCTC - Publicações Pedagógicas

Files in This Item:
File Description SizeFormat 
sebELP3.ps802,53 kBPostscriptView/Open
sebELP3.pdf475,71 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