Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/2012| Título: | Guiões das aulas práticas laboratoriais sobre o sistema COQ |
| Autor(es): | Frade, M. J. Pinto, Jorge Sousa |
| Palavras-chave: | Coq proof assistant Lógica Lambda-calculus Teoria de tipos Sistemas de prova assistida |
| Data: | 1998 |
| Editora: | Universidade do Minho. Departamento de Informática |
| Citação: | PINTO, 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 |
| Tipo: | Outro |
| URI: | https://hdl.handle.net/1822/2012 |
| Acesso: | Acesso aberto |
| Aparece nas coleções: | DI/CCTC - Publicações Pedagógicas |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| sebELP2.ps | 725,87 kB | Postscript | Ver/Abrir | |
| sebELP2.pdf | 402,57 kB | Adobe PDF | Ver/Abrir |
