Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
Indisponível
Na minha lista:
Principais autores: | Silva, Geiza Maria Hamazaki da, Haeusler, Edward Hermann |
---|---|
Formato: | Online |
Idioma: | por |
Publicado em: |
EDUFRN
|
Endereço do item: | https://periodicos.ufrn.br/principios/article/view/627 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Sistemas de lógica modal em dedução natural/
por: Costa, David Gomes., et al.
Publicado em: (2022) -
Sistemas de lógica modal em dedução natural
por: Costa, David Gomes
Publicado em: (2014) -
Lógica : simbolização e dedução /
por: Hegenberg, Leônidas,
Publicado em: (2022) -
Românticos, os seres anfíbios: entre a crítica de Kant e a síntese de Hegel
por: Andrade, Pedro Duarte de
Publicado em: (2010) -
Dedução no cálculo sentencial /
por: Hegenberg, Leonidas,, et al.
Publicado em: (2022)