Normal view MARC view ISBD view

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

Contributor(s): Kakas, Antonis C [editor.] | Sadri, Fariba [editor.].
Material type: materialTypeLabelBookSeries: Lecture notes in computer science, 2408.Publisher: Berlin : Springer, c.2002Description: xii, 628 p. : ill. ; 24 cm.ISBN: 9783540439608.Subject(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.

Log in to your account to post a comment.

Powered by Koha