عنوان
پدید آورنده
موضوع
رده
QA 9 .S363 1989
QA
9
.
S363
1989
کتابخانه
محل استقرار
Logic for computer scientists
Basel
Birkhauser
c1989
166p.: ill
Progress in computer science and applied logic; Vol.8
Bibliography: p.155-159
ISBN: 3764334533
Uwe Schoning
1
، Logic, Symbolic and mathematical
، Logic programming
QA
9
.
S363
1989
Schoning, Uwe, 5591-
AU
TI
SE
