عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540250514
شماره کتابشناسی ملی
کد کشور
IR
شماره
ebook28857
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Mechanizing mathematical reasonin
نام عام مواد
[Electronic Resource]
ساير اطلاعات عنواني
:essays in honor of J?�rg H. Siekmann on the occasion of his 60th birthday
نام نخستين پديدآور
/ Dieter Hutter, Werner Stephan, (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
: Springer,
تاریخ نشرو بخش و غیره
, 2005.
فروست
عنوان فروست
(Lecture notes in computer science
عنوان فروست
(Lecture notes in artificial intelligence)
مشخصه جلد
; 2605)
يادداشت کلی
متن يادداشت
Title from title screen (viewed March 8, 2005)
متن يادداشت
Electronic book available via Springer Link.
متن يادداشت
Print version originally published in 2005.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Siekmann, J?�rg H.
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Hutter, Dieter
مستند نام اشخاص تاييد نشده
Stephan, Werner
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
LINK (Online service
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
3540250514.pdf
نوع فرمت الکترونيکي
0
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
