Artigos
Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler
Artigo
Ver fonte original- Autor
- Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler
- Revista
- Princípios: Revista de Filosofia (UFRN)
- Edição
- 8 / 10
- Ano
- 2010
- Páginas
- 25-61
- Idioma
- pt
2010Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler. Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural. Princípios: Revista de Filosofia (UFRN), v. 8, n. 10, p. 25-61, 2010.1
Indisponível