Tamanho: 503,39 KB
Vericação de Propriedades do Cálculo Lambdaex em Coq
- Autor: Washington Luís Ribeiro de Carvalho Segundo
- Categoria: Teses e Dissertações
- Idioma: Português
- Fonte: Programas de Pós-graduação da CAPES
- Instituição/Programa: UNB/INFORMÁTICA
- Área Conhecimento: CIÊNCIA DA COMPUTAÇÃO
- Nível: Mestrado
- Ano da Tese: 2010
RESUMO
Sugestão de livros:
Download
Download
Download
Download
Download
Download
Download
Download
Download
Download