عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 I57 2009eb
QA76
.
9
.
A96
I57
2009eb
کتابخانه
محل استقرار
شابک
شابک
3642029590 (ebook)
شابک
9783642029592 (ebook)
شابک اشتباه
3642029582 (pbk.)
شابک اشتباه
9783642029585 (pbk.)
شماره کتابشناسی ملی
شماره
b433860
عنوان و نام پديدآور
عنوان اصلي
Automated deduction--CADE-22
نام عام مواد
[Book]
ساير اطلاعات عنواني
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings /
نام نخستين پديدآور
Renate A. Schmidt (ed.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2009
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xiv, 504 p.) :
ساير جزييات
ill
فروست
عنوان فروست
Lecture notes in artificial intelligence
عنوان فروست
LNCS sublibrary. SL 7, Artificial intelligence
مشخصه جلد
5663.
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Automated deduction - CADE-22.
شماره استاندارد بين المللي کتاب و موسيقي
9783642029585
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
CADE-twenty-two
عنوان اصلي به زبان ديگر
CADE-22
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving, Congresses
موضوع مستند نشده
Logic, Symbolic and mathematical, Congresses
مقوله موضوعی
موضوع مستند نشده
QA
رده بندی کنگره
شماره رده
QA76
.
9
.
A96
شماره رده
QA76
.
9
.
A96
نشانه اثر
I57
2009eb
نشانه اثر
I57
2009eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Schmidt, Renate A
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Automated Deduction(22nd :2009 :, Montréal, Québec)
مبدا اصلی
تاريخ عمليات
20100809095249.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
