عنوان
پدید آورنده
موضوع
رده
QA448 .D38,I58 2011
QA448
.
D38
,
I58
2011
کتابخانه
محل استقرار
استان: آذربایجان شرقی ـ شهر: سهند
شابک
شابک
9783642250705 (electronic bk.)
شماره کتابشناسی ملی
کد کشور
IR
شماره
E-5640
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Automated deduction in geometr
نام عام مواد
[Book]
ساير اطلاعات عنواني
:8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers
نام نخستين پديدآور
/ Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ;New York
نام ناشر، پخش کننده و غيره
: Springer,
تاریخ نشرو بخش و غیره
, c2011.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (x, 258 p.)
فروست
عنوان فروست
(Lecture notes in artificial intelligence
عنوان فروست
(Lecture notes in computer science,0302-9743.)
عنوان فروست
(LNCS sublibrary. SL 7, Artificial intelligence.)
مشخصه جلد
; 6877.)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index.
فروست (داده ارتباطی)
عنوان
Lecture notes in computer science.Lecture notes in artificial intelligence
عنوان
Lecture notes in computer science
عنوان
LNCS sublibrary.SL 7,Artificial intelligence
شماره جلد
6877
عنوانهای گونه گون دیگر
عنوان گونه گون
ADG 2010
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Geometry, Data processing, Congresses
موضوع مستند نشده
Automatic theorem proving, Congresses
موضوع مستند نشده
Computer science
موضوع مستند نشده
Software engineering
موضوع مستند نشده
Computational complexity
موضوع مستند نشده
Artificial intelligence
موضوع مستند نشده
Computer graphics
موضوع مستند نشده
Artificial Intelligence (incl. Robotics)
موضوع مستند نشده
Mathematical Logic and Formal Languages
موضوع مستند نشده
Symbolic and Algebraic Manipulation
موضوع مستند نشده
Discrete Mathematics in Computer Science
موضوع مستند نشده
Electronic books
رده بندی ديویی
شماره
516
.
00285
رده بندی کنگره
شماره رده
QA448
نشانه اثر
.
D38
,
I58
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
International Workshop on Automated Deduction in Geometry(8th :2010 :Munich, Germany)
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Schreck, Pascal
مستند نام اشخاص تاييد نشده
Narboux, Julien
مستند نام اشخاص تاييد نشده
Richter-Gebert, Jeurgen,1963-
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
