Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural

Autores

  • Geiza Maria Hamazaki da Silva
  • Edward Hermann Haeusler

Resumo

Indisponível

Downloads

Não há dados estatísticos.

Downloads

Publicado

02-10-2010

Como Citar

SILVA, G. M. H. da; HAEUSLER, E. H. Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural. Princípios: Revista de Filosofia (UFRN), [S. l.], v. 8, n. 10, p. 25–61, 2010. Disponível em: https://periodicos.ufrn.br/principios/article/view/627. Acesso em: 14 nov. 2024.