کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابLogical Foundations of Proof Complexity
پدیدآورنده: / Cook, Stephen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Logical Foundations of Proof Complexity (Perspectives in logic)
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع:
Logical foundations of proof complexity
پدیدآورنده: / Stephen Cook, Phuong Nguyen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computational complexity,Proof theory,Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C695
2010
Logical foundations of proof complexity
پدیدآورنده: Stephen Cook, Phuong Nguyen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C669L6
