عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Logical foundations of proof complexity
پدید آورنده
Cook, Stephen
موضوع
، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده
QA
267
.
7
.
C695
2010
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
61112616
-
66495290
-
021
85785
Cook, Stephen
8491-
Logical foundations of proof complexity
Ithaca, NY
New York
Association for Symbolic Logic
Cambridge University Press
2010
xv, 479 p. : ill.
Perspectives in logic
Includes bibliographical references )p. 457-464( and index
Stephen Cook, Phuong Nguyen
، Computational complexity
، Proof theory
، Logic, Symbolic and mathematical
511
.
3/6
QA
267
.
7
.
C695
2010
AU
AU gnouhP ,neyugN 1977-
TI
SE
یاضه ریه دانشکدانابخکت
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح