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
Topo