Revision based total semantics for extended normal logic programs
Abrantes, Mário António Rodrigues Grande
Revision based total semantics for extended normal logic programs [Documento electrónico] / Mário António Rodrigues Grande Abrantes. - Monte de Caparica : M. A. R. G. A. , 2013 . - 1 CD-ROM ; 12 cm.
Clicar aqui para aceder a um recurso externo
ISBN
Lógica matemática
LCC QA9
Revision based total semantics for extended normal logic programs [Documento electrónico] / Mário António Rodrigues Grande Abrantes. - Monte de Caparica : M. A. R. G. A. , 2013 . - 1 CD-ROM ; 12 cm.
Clicar aqui para aceder a um recurso externo
ISBN
Lógica matemática
LCC QA9