عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
عنوان
Collegium Logicum: annals of the Kurt-Godel-Society
پدید آورنده
موضوع
Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده
QA
9
.
A1
C58
کتابخانه
المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان
محل استقرار
استان:
کرمان
ـ شهر:
کرمان
تماس با کتابخانه :
03433257204
English
Collegium Logicum: annals of the Kurt-Godel-Society
Wein, New York
Springer-Verlag
1995-
v.; 25 cm.
1
"Most of papers ... were presented at the Collegium Logicum, a continuing lecture series taking place in Vienna and organized by the society."
1
Congresses ، Logic
Congresses ، Logic, Symbolic and mathematical
Congresses ، Automatic theorem proving
QA
9
.
A1
C58
TI
CO Kurt Godel Society
TI Collegium Logicum )Vienna, Austria(
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح