2461
English
Sperschneider, V.
Logic : a foundation for computer science
Wokingham
Addison-Wesley
1991c
xii, 495 p.: ill.; 24 cm
International computer science series
Includes bibliographical references )p. 485-490( and index
V. Sperschneider, G. Antoniou
، Computer science
، Artificial intelligence
، Logic, Symbolic and mathematical
400
QA
76
.
S6787
1991
AU
AU Antoniou, G. )Grigorios(
TI
SE
