عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 Vol.718
QA
3
.
L28
Vol
.
718
کتابخانه
محل استقرار
The computational complexity of logical theories
Jeanne Ferrante, Charles W. Rackoff
Berlin
Springer-Verlag
c1979
x, 243p.: ill
Lecture notes in mathematics; 817
Bibliography: p. ]234[-238
ISBN: 3540095012
1
، Predicate calculus
، Computational complexity
QA
3
.
L28
Vol
.
718
Ferrante, Jeanne, 9491-
AU
AU Rackoff, Charles W., 1948-
TI
SE
