PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS

Detalhes bibliográficos
Autor(a) principal: JOSE EVANDE CARVALHO ARAUJO
Data de Publicação: 1992
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_82080e491c4df1fedf7166cab1110c6a
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS
title PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS
spellingShingle PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS
JOSE EVANDE CARVALHO ARAUJO
title_short PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS
title_full PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS
title_fullStr PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS
PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS
title_full_unstemmed PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS
PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS
title_sort PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS
publishDate 1992
format masterThesis
author_role author
author JOSE EVANDE CARVALHO ARAUJO
author_facet JOSE EVANDE CARVALHO ARAUJO
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/2917637674554734
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO DE JANEIRO
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO DE JANEIRO
instname_str UNIVERSIDADE FEDERAL DO RIO DE JANEIRO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESPROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMASPROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMASPROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMASPROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMASPROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMASPROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMASPROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS1992masterThesisauthorJOSE EVANDE CARVALHO ARAUJOhttp://lattes.cnpq.br/2917637674554734UNIVERSIDADE FEDERAL DO RIO DE JANEIROUNIVERSIDADE FEDERAL DO RIO DE JANEIROUNIVERSIDADE FEDERAL DO RIO DE JANEIROPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv ARAUJO, JOSE EVANDE CARVALHO. PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS. 1992. Tese.
dc.identifier.citation.fl_str_mv ARAUJO, JOSE EVANDE CARVALHO. PROPRIEDADES DA LOGICA DE DEFAULTS E SUAS APLICACOES A ESPECIFICACAO FORMAL DE PROGRAMAS. 1992. Tese.
_version_ 1741889872244768768

Registros relacionados