A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.

Detalhes bibliográficos
Autor(a) principal: Fabricio Borges Macedo
Data de Publicação: 2016
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4756899
id BRCRIS_e8c547a8ba217f97315f4b87c3f853c5
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.
title A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.
spellingShingle A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.
Arthur Norman Prior.
Arthur Norman Prior
Fabricio Borges Macedo
title_short A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.
title_full A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.
title_fullStr A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.
A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.
title_full_unstemmed A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.
A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.
title_sort A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.
topic Arthur Norman Prior.
Arthur Norman Prior
publishDate 2016
format doctoralThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4756899
author_role author
author Fabricio Borges Macedo
author_facet Fabricio Borges Macedo
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/6681991252661211
dc.contributor.advisor1.fl_str_mv RICARDO JOSE CORREA BARBOSA
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/0546360463436776
dc.publisher.none.fl_str_mv UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
publisher.none.fl_str_mv UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
instname_str UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO
dc.publisher.program.fl_str_mv FILOSOFIA
dc.description.course.none.fl_txt_mv FILOSOFIA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESA Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.Arthur Norman Prior.2016doctoralThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4756899authorFabricio Borges Macedohttp://lattes.cnpq.br/6681991252661211RICARDO JOSE CORREA BARBOSAhttp://lattes.cnpq.br/0546360463436776UNIVERSIDADE DO ESTADO DO RIO DE JANEIROUNIVERSIDADE DO ESTADO DO RIO DE JANEIROUNIVERSIDADE DO ESTADO DO RIO DE JANEIROFILOSOFIAFILOSOFIAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Macedo, Fabricio Borges. A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.. 2016. Tese.
dc.identifier.citation.fl_str_mv Macedo, Fabricio Borges. A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico.. 2016. Tese.
_version_ 1741884419502768128

Registros relacionados