Fork Arrow Logic: Axiomatization and Completeness
Autores
|
1203 |
510,105,179,424,273
|
|
|
1204 |
510,105,179,424,273
|
|
|
1205 |
510,105,179,424,273
|
|
|
1206 |
510,105,179,424,273
|
|
|
1207 |
510,105,179,424,273
|
Informações:
Publicações do PESC
Título
Fork Arrow Logic: Axiomatization and Completeness
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Relatório Técnico
Número de registro
ES-546/1
Data
4/2001
Resumo
Abstract
Arquivo