عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.718
QA
1
.
L4
v
.
718
کتابخانه
محل استقرار
English
The computational complexity of logical theories
Berlin, New York
Springer-Verlag
1979
x, 243 p. : ill. ; 24 cm
Lecture notes in mathematics ; 817
Bibliography: p. 234-238
Bibliography: p. )234(-238
Includes index
Jeanne Ferrante, Charles W. Rackoff
1
، Predicate calculus
، Computational complexity
QA
1
.
L4
v
.
718
CA
510/
.
8
s
9491-
Ferrante, Jeanne
AU
AU Rackoff, Charles W. 1948-
TI
SE
