-
RecordNumber
34123
-
Title
Logic programming : formal methods and practical applications
-
Author Statement
edited by Christoph Beierle, Lutz Plغumer
-
Publication
Elsevier
-
Publication Year
1995
-
Collation
xiv, 404 p. : ill
-
Series
Studies in computer science and artificial intelligence, 11
-
Notes
0444820922 , Includes bibliographical references
-
Subject
Logic programming
-
ADDED ENTRIES
Plغumer, Lutz. , Beierle, Christoph ,
-
LC Class
QA
-
LC Number
76.63
-
LC CutterNumber
.L63294
-
LC Date
1995
-
Link To Document :
