کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:

جستجوی کتاب

computational complexity of logical theories

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)

رده :
QA3
،.
L28
,
F47

The computational complexity of logical theories

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Predicate calculus,، Computational complexity

رده :
QA
3
.
L28
no
.
718

The computational complexity of logical theories

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Predicate calculus,، Computational complexity

رده :
QA
3
.
L28
no
.
718

The computational complexity of logical theories

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Predicate calculus,، Computational complexity

رده :
QA
3
.
L28
Vol
.
718

The computational complexity of logical theories

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Predicate calculus,Computational complexity

رده :
QA
9
.
35
.
F4
1979

Theories of computational complexity

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computational complexity

رده :
QA
267
.
C34
1988

Theories of computational complexity

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Computational complexity

رده :
267
.
C34

Theories of computational complexity

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computational complexity

رده :
QA
267
.
C34
1988

computational complexity of logical theories

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

رده :
511
F373c