Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/2065
Título: | Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema Isabelle |
Autor(es): | Frade, M. J. |
Palavras-chave: | Lógica Sistemas de prova Isabelle proof assistant |
Data: | 1998 |
Editora: | Universidade do Minho. Departamento de Informática |
Citação: | FRADE, 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 |
Tipo: | Outro |
URI: | https://hdl.handle.net/1822/2065 |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Publicações Pedagógicas |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
sebELP1.ps | 280,93 kB | Postscript | Ver/Abrir | |
sebELP1.pdf | 322,52 kB | Adobe PDF | Ver/Abrir |