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

TitleSebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema Isabelle
Author(s)Frade, M. J.
KeywordsLógica
Sistemas de prova
Isabelle proof assistant
Issue date1998
PublisherUniversidade do Minho. Departamento de Informática
CitationFRADE, Maria João – “Sebenta prática de elementos lógicos da programação I” [Em linha]. [S.l.] : Departamento de Informática Universidade do Minho, 1998. [Consult. 9 Jun. 2005]. Disponível em: http://www.di.uminho.pt/~mjf/publications
TypeOther
URIhttp://hdl.handle.net/1822/2065
AccessOpen access
Appears in Collections:DI/CCTC - Publicações Pedagógicas

Files in This Item:
File Description SizeFormat 
sebELP1.ps280,93 kBPostscriptView/Open
sebELP1.pdf322,52 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