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)