From standard logic to logic programming : introducing a logic based approach to artificial intelligence /

Bibliographic Details

Other Authors:	Thayse, André, 1940-, Gochet, Paul
Format:	Book
Language:	English
Published:	Chichester ; New York : Wiley, [1988]
Subjects:	Logic programming. Artificial intelligence.