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

Powered by Koha