عنوان
پدید آورنده
موضوع
رده
T 385 .A92 2015 E-Book ,
T
385
.
A92
2015
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:9783319213613
شماره کتابشناسی ملی
شماره
13550
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Automated Deduction in Geometry
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 10th International Workshop, ADG 2014 Coimbra, Portugal, July 9–11, 2014 Revised Selected Papers
نام نخستين پديدآور
\ Francisco Botana , Pedro Quaresma (Eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015
مشخصات ظاهری
نام خاص و کميت اثر
ix, 181 p
ساير جزييات
:ill
فروست
عنوان فروست
Lecture Notes in Artificial Intelligence
مشخصه جلد
; 9201
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer graphics
عنصر شناسه ای
گرافیک کامپیوتری
داده رابط بین فیلدها
a03
داده رابط بین فیلدها
a03
موضوع مستند نشده
Geometry -- Data processing -- Congresses.
موضوع مستند نشده
Automatic theorem proving -- Congresses.
موضوع مستند نشده
هندسه -- داده پردازی -- کنگره ها
رده بندی کنگره
شماره رده
T
385
نشانه اثر
.
A92
2015
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Botana, Francisco
مستند نام اشخاص تاييد نشده
Quaresma, Pedro
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Workshop on Automated Deduction in Geometry (10th : 2014 : Coimbra, Portugal)
مبدا اصلی
کشور
ایران
تاريخ عمليات
20170125
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319213613.pdf
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
N
