Computational logic : logic programming and beyond /

Bibliographic Details

Other Authors:	Kakas, Antonis C., Sadri, Fariba, 1956-, Kowalski, Robert
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science ; 2407. Lecture notes in computer science ; 2408. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Logic programming. Automatic theorem proving. Logic programming languages. Kowalski, Robert.