Computational logic
Subtitle: logic programming and beyond : essays in honour of Robert A.Kowalski
By: Antonis C. Kakas, Fariba Sadri (eds.).
Contributors: Kakas, Antonis C.; Sadri, Fariba, 1956-; Kowalski, Robert.
Series: Lecture notes in computer science -- 2407-2408 -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 2407-2408; Lecture notes in computer science
Publisher: Springer
Published: 2002
Place of publication: Heidelberg; New York
Language: eng
Subjects: Kowalski, Robert.; Logic programming.; Automatic theorem proving.; Logic programming languages.
Notes: Includes bibliographical references and index.

Also available via the World Wide Web.