Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/2046| Título: | Introdução ao sistema COQ de assistência à prova |
| Autor(es): | Frade, M. J. Pinto, Jorge Sousa |
| Palavras-chave: | Teoria de tipos Lambda-calculus Prova assistida Coq proof assistent |
| Data: | 1998 |
| Editora: | Universidade do Minho. Departamento de Informática |
| Citação: | FRADE, 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 |
| Tipo: | Outro |
| URI: | https://hdl.handle.net/1822/2046 |
| Acesso: | Acesso aberto |
| Aparece nas coleções: | DI/CCTC - Publicações Pedagógicas |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| sebELP3.ps | 802,53 kB | Postscript | Ver/Abrir | |
| sebELP3.pdf | 475,71 kB | Adobe PDF | Ver/Abrir |
