Computational logic logic programming and beyond

Computational logic logic programming and beyond

Saved in:
Bibliographic Details
Other Authors: Kakas, Antonis C., Sadri, Fariba 1956-, Kowalski, Robert
Format: Unknown
Published: Berlin New York Springer 2002.
Series:Lecture notes in computer science Lecture notes in artificial intelligence 2407-240
Subjects:
Kowalski, Robert.
Logic programming.
Automatic theorem proving.
Logic programming languages.
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:2 v. ill. 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540439595 (pt. I : softcover : alk. paper)
3540439609 (pt. II : softcover : alk. paper)

Similar Items