Computational logic : logic programming and beyond / editors Antonis C. Kakas, Fariba Sadri.

Contributor(s): Kakas, Antonis C [editor.] | Sadri, Fariba [editor.]
Material type: TextTextSeries: Lecture notes in computer science, 2408Publisher: Berlin : Springer, c.2002Description: xii, 628 p. : ill. ; 24 cmISBN: 9783540439608Subject(s): Logic programming | Automatic theorem proving | | Informatics and Computer Science March2018DDC classification: 005.115
Partial contents:
v. 2. essays in honour of Robert A. Kowalski .
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Vol info Status Date due Barcode Item holds
Book - Borrowing Book - Borrowing Central Library
Lower Floor
Baccah 005.115 COM (Browse shelf) 21201 Available 000047326
Total holds: 0

Includes bibliographical references and index.

v. 2. essays in honour of Robert A. Kowalski .

There are no comments for this item.

to post a comment.