Properties of Default Logic and its Applications to the Formal Specification os Programs
Autores
579 |
José Evande Carvalho Araújo
|
105,276
|
580 |
105,276
|
Informações:
Publicações do PESC
Título
Properties of Default Logic and its Applications to the Formal Specification os Programs
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Relatório Técnico
Número de registro
ES-276/93
Data
2/1993
Resumo
Abstract
Arquivo