عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.718
QA
3
.
L28
no
.
718
کتابخانه
محل استقرار
74954
زمستان۹۸
English
)20(
Ferrante, Jeanne
9491-
The computational complexity of logical theories
Berlin
Springer-Verlag
1979
x, 243 p.: ill.; 24 cm
Lecture notes in mathematics
718
Includes bibliographical references and index
، Predicate calculus
، Computational complexity
QA
3
.
L28
no
.
718
AU
Jeanne Ferrante, Charles W. Rackoff
AU W selrahC ,ffokcaR joint author 1948-
TI
SE
02
