-
RecordNumber
6075
-
Title
Computational logic logic programming and beyond
-
SubTitle
logic programming and beyond
-
Author Statement
Antonis C. Kakas, Fariba Sadri (eds.).
-
Publication
Springer
-
Publication Year
c2002
-
Collation
2 v. ill. 24 cm
-
Series
Lecture notes in computer science ;Lecture notes in artificial intelligence
-
Notes
Includes bibliographical references and index
-
Subject
Kowalski, Robert , Logic programming. , Automatic theorem proving. , Logic programming languages.
-
ADDED ENTRIES
Kakas, Antonis C. , Sadri, Fariba, , Kowalski, Robert.
-
Main class
005.1/15
-
Link To Document :
