Computational logic :
Computational logic : logic programming and beyond /
editors Antonis C. Kakas, Fariba Sadri.
- Berlin : Springer, c.2002.
- xii, 628 p. : ill. ; 24 cm.
- Lecture notes in computer science, 2408. .
Includes bibliographical references and index.
v. 2. essays in honour of Robert A. Kowalski .
9783540439608
Logic programming.
Automatic theorem proving.
005.115 / COM
Includes bibliographical references and index.
v. 2. essays in honour of Robert A. Kowalski .
9783540439608
Logic programming.
Automatic theorem proving.
005.115 / COM