TY  - BOOK
AU  - Thayse, André
AU  - Gochet, Paul
TI  - From modal logic to deductive databases: introducing a logic based approach to artificial intelligence 
SN  - 0-471-92345-1
AV  - Q 335 F76.1989
PY  - 1989///
CY  - Chichester
PB  - J. Wiley
KW  - Inteligencia artificial
KW  - Programación lógica
N1  - Incluye bibliografía e índice
ER  -