Computational logic
Subtitle: logic programming and beyond : essays in honor 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: New York
Language: eng
Number of pages: 696
Subjects: Kowalski, Robert; Logic programming; Automatic theorem proving; Logic programming languages
Notes: Includes bibliographical references and index.