عنوان
پدید آورنده
موضوع
رده
QA448.D38 I58 2012
QA448
.
D38
I58
2012
کتابخانه
محل استقرار
شابک
شابک
3642406726 (electronic bk.)
شابک
9783642406720 (electronic bk.)
شابک اشتباه
9783642406713
شماره کتابشناسی ملی
شماره
b435144
عنوان و نام پديدآور
عنوان اصلي
Automated deduction in geometry :
نام عام مواد
[Book]
ساير اطلاعات عنواني
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers /
نام نخستين پديدآور
Tetsuo Ida, Jacques Fleuriot (eds.)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (x, 193 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in artificial intelligence ;
عنوان فروست
LNCS sublibrary. SL 7, Artificial intelligence
مشخصه جلد
7993
يادداشت کلی
متن يادداشت
Includes author index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
ADG 2012
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving, Congresses
موضوع مستند نشده
Geometry-- Data processing, Congresses
مقوله موضوعی
موضوع مستند نشده
COM004000
موضوع مستند نشده
TJFM1
موضوع مستند نشده
UYQ
رده بندی ديویی
شماره
516
.
00285
ويراست
22
رده بندی کنگره
شماره رده
QA448
.
D38
نشانه اثر
I58
2012
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Fleuriot, Jacques,1972-
مستند نام اشخاص تاييد نشده
Ida, Tetsuo
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Workshop on Automated Deduction in Geometry(9th :2012 :, Edinburgh, Scotland)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network
مبدا اصلی
تاريخ عمليات
20140326083903.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
