عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3642210457
شابک
9783642210457
شماره کتابشناسی ملی
شماره
b506246
عنوان و نام پديدآور
عنوان اصلي
Automated deduction in geometry
نام عام مواد
[Book]
ساير اطلاعات عنواني
7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers /
نام نخستين پديدآور
Thomas Sturm, Christoph Zengler (Eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
[2011]
فروست
عنوان فروست
Lecture notes in artifical intelligence
عنوان فروست
Lecture notes in computer science,
مشخصه جلد
6301
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
ADG 2008
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving, Congresses.
موضوع مستند نشده
Geometry-- Data processing, Congresses.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Sturm, Thomas.
مستند نام اشخاص تاييد نشده
Zengler, Christoph.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Workshop on Automated Deduction in Geometry(7th :2008 :, Shanghai, China)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
SpringerLink (Online service).
مبدا اصلی
تاريخ عمليات
20190301074500.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
