Propriedades da Lógica de Defaults e suas Aplicações à Especificação Formal de Programas
Autores
3317 |
José Evande Carvalho Araújo
|
105,276
|
3318 |
105,276
|
Informações:
Publicações do PESC
Título
Propriedades da Lógica de Defaults e suas Aplicações à Especificação Formal de Programas
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
3/7/1992
Resumo
Abstract
Arquivo