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

Indisponível

Na minha lista:
Detalhes bibliográficos
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!
id oai:periodicos.ufrn.br:article-627
record_format ojs
spelling oai:periodicos.ufrn.br:article-6272016-12-16T16:53:49Z Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural Silva, Geiza Maria Hamazaki da Haeusler, Edward Hermann Indisponível EDUFRN 2010-10-02 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Avaliado pelos pares application/pdf https://periodicos.ufrn.br/principios/article/view/627 Princípios: Revista de Filosofia (UFRN); v. 8 n. 10 (2001): Princí­pios: revista de filosofia; 25-61 1983-2109 0104-8694 por https://periodicos.ufrn.br/principios/article/view/627/572 Copyright (c) 2014 Princípios: Revista de Filosofia (UFRN)
institution Periódicos UFRN
collection Portal de Pediódicos Eletrônicos da UFRN
language por
format Online
author Silva, Geiza Maria Hamazaki da
Haeusler, Edward Hermann
spellingShingle Silva, Geiza Maria Hamazaki da
Haeusler, Edward Hermann
Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
author_facet Silva, Geiza Maria Hamazaki da
Haeusler, Edward Hermann
author_sort Silva, Geiza Maria Hamazaki da
title Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
title_short Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
title_full Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
title_fullStr Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
title_full_unstemmed Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
title_sort sí­ntese construtiva de programas utilizando lógica institucionista e dedução natural
description Indisponível
publisher EDUFRN
publishDate 2010
url https://periodicos.ufrn.br/principios/article/view/627
work_keys_str_mv AT silvageizamariahamazakida sinteseconstrutivadeprogramasutilizandologicainstitucionistaededucaonatural
AT haeusleredwardhermann sinteseconstrutivadeprogramasutilizandologicainstitucionistaededucaonatural
_version_ 1766681753147146240

Registros relacionados