TY  - BOOK
A1  - / Jeanne Ferrante, Charles W. Rackoff
TI  - The computational complexity of logical theories
PB  - كتابخانه پردیس علوم (دانشگاه تهران)
SN  - 100979873
UR  /book/100979873/The-computational-complexity-of-logical-theories/
ER  -