عنوان
پدید آورنده
موضوع
رده
QA 9.35 .F4 1979
QA
9
.
35
.
F4
1979
کتابخانه
محل استقرار
0387095012
IR
12723
انگلیسی
IR
The computational complexity of logical theories
[Book]
/ Jeanne Ferrante, Charles W. Rackoff
Berlin, New York
: Springer-Verlag
, 1979.
x, 243 p.
: ill.
; 24 cm
(Lecture notes in mathematics
: 718)
Language: English
Includes index
Bibliography: p. (234)-238
Predicate calculus
Computational complexity
QA
9
.
35
.
F4
1979
Ferrante, Jeanne, 1949-
Rackoff, Charles W, 1948-, joint auth
Iran
University of Tehran. College of Science Library
QA 9.35 .F4 1979
old catalog
BL
1
a
Y
