عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9783540710691
شماره کتابشناسی ملی
کد کشور
IR
شماره
ebook48370
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Automated Reasoning
نام عام مواد
[Electronic Resource]
ساير اطلاعات عنواني
:4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, proceedings
نام نخستين پديدآور
/ Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
Berlin ;New York :Springer,
تاریخ نشرو بخش و غیره
, 2008.
مشخصات ظاهری
نام خاص و کميت اثر
xii, 556 p.
ساير جزييات
: ill. ; 24 cm.
فروست
عنوان فروست
(Lecture notes in computer science
مشخصه جلد
; 5195.Lecture notes in artificial intelligence)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
فروست (داده ارتباطی)
عنوان
Lecture notes in computer science
عنوان
Lecture notes in computer science.Lecture notes in artificial intelligence
شماره جلد
5195
عنوانهای گونه گون دیگر
عنوان گونه گون
IJCAR 2008
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving--Congresses
موضوع مستند نشده
Computer logic--Congresses
رده بندی ديویی
شماره
004
,
01
,
5113
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Armando, Alessandro
مستند نام اشخاص تاييد نشده
Baumgartner, Peter
مستند نام اشخاص تاييد نشده
Dowek, Gilles
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
IJCAR 2008(4th :,2008 :Sydney, Australia)
مبدا اصلی
کشور
ایران
شماره دستیابی
شماره بازیابی
004,01,5113
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783540710691.pdf
نوع فرمت الکترونيکي
0
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
