کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتاب<The> computational complexity of logical theories
پدیدآورنده: / [by] Jeanne Ferrante and Charles W. Rackoff
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
QA3
،.
L28
,
F47
The computational complexity of logical theories
پدیدآورنده: Ferrante, Jeanne
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
no
.
718
The computational complexity of logical theories
پدیدآورنده: Ferrante, Jeanne
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
no
.
718
The computational complexity of logical theories
پدیدآورنده: Jeanne Ferrante, Charles W. Rackoff
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
Vol
.
718
The computational complexity of logical theories
پدیدآورنده: Ferrante, Jeanne
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
1
.
L4
v
.
718
The computational complexity of logical theories
پدیدآورنده: / Jeanne Ferrante, Charles W. Rackoff
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Predicate calculus,Computational complexity
رده :
QA
9
.
35
.
F4
1979
