نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Automated Deduction – CADE-25
پدید آورنده
\ Amy P. Felty , Aart Middeldorp (Eds.)
موضوع
Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگرهها
رده
QA
76
.
9
.
A96
2015
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
شابک
شابک
:9783319214009
شماره کتابشناسی ملی
شماره
13601
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Automated Deduction – CADE-25
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 25th International Conference on Automated Deduction Berlin, Germany, August 1–7, 2015 Proceedings
نام نخستين پديدآور
\ Amy P. Felty , Aart Middeldorp (Eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015
مشخصات ظاهری
نام خاص و کميت اثر
xxviii,640 p.
فروست
عنوان فروست
Lecture Notes in Artificial Intelligence
مشخصه جلد
; 9195
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving -- Congresses.
موضوع مستند نشده
Logic, Symbolic and mathematical -- Congresses.
موضوع مستند نشده
منطق ریاضی-- کنگرهها
رده بندی کنگره
شماره رده
QA
76
.
9
نشانه اثر
.
A96
2015
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Felty, Amy
مستند نام اشخاص تاييد نشده
Middeldorp, Aart, 1963-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Automated Deduction (25th : 2015 : Berlin, Germany)
مبدا اصلی
کشور
ایران
تاريخ عمليات
20170129
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319214009.pdf
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
N
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد