From modal logic to deductive databases introducing a logic based approach to artificial intelligence /
Thayse, André,1940-
Gochet, Paul.
Chichester Wiley
c1989
Includes bibliography and index
Artificial intelligence.