عنوان
پدید آورنده
موضوع
رده
QA 76.63 .N47
QA
76
.
63
.
N47
کتابخانه
محل استقرار
Logic for applications
Berlin
Springer-Verlag
c1993
xvii, 365p
Texts and monographs in computer science
Bibliography: p.329-354
ISBN: 3540941290
Anil Nerode, Richard A. Shore
1
، Logic programming
، Logic, Symbolic and mathematical
QA
76
.
63
.
N47
Nerode, Anil, 2391-
AU
AU Shore, Richard A., 1946-
TI
SE
