Formal Verification of Knowledge Based Programs
Autores
|
1501 |
631,273,573
|
|
|
1502 |
631,273,573
|
|
|
1503 |
Michel de Almeida Carlini
|
631,273,573
|
Informações:
Publicações do PESC
Título
Formal Verification of Knowledge Based Programs
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Relatório Técnico
Número de registro
ES-648/4
Data
6/2004
Resumo
Abstract
Arquivo