Publicação
Introdução ao sistema COQ de assistência à prova
| Autores principais: | Frade, M. J. |
|---|---|
| Outros Autores: | Pinto, Jorge Sousa |
| Assunto: | Teoria de tipos Lambda-calculus Prova assistida Coq proof assistent |
| Ano: | 1998 |
| País: | Portugal |
| Tipo de documento: | outro |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | português |
| Origem: | RepositóriUM - Universidade do Minho |
| Descrição não disponível. |