عنوان
پدید آورنده
موضوع
رده
QA3،.L28,F47
QA3
،.
L28
,
F47
کتابخانه
محل استقرار
IR
18900
انگلیسی
IR
[Book]
/ [by] Jeanne Ferrante and Charles W. Rackoff
Berlin, Heidelberg
, 1979.
x, 243 p.
: illus.
(Lecture notes in mathematics
; 718)
Print
Bibliography: p. 234 - 238.
Predicate calculus
Computational complexity
510
8
s
QA3
.
L28
,
F47
Ferrante, Jeanne,1949-
Rackoff, Charles W.,1948-joint author
Title، Series: Lecture notes in mathematics (Springer-Verlag) ;718
Title، Series: Lecture notes in mathematics (Springer-Verlag) ;718
ایران
Central Library and Documentation Center
old catalog
p
BL
1
a
Y
