عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540631046 (pbk. : alk. paper)
شابک
9783540631040 (pbk. : alk. paper)
شماره کتابشناسی ملی
شماره
b433719
عنوان و نام پديدآور
عنوان اصلي
Automated deduction, CADE-14
نام عام مواد
[Book]
ساير اطلاعات عنواني
14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
نام نخستين پديدآور
William McCune, ed.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c1997.
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 462 p. :
ساير جزييات
ill. ;
ابعاد
24 cm.
فروست
عنوان فروست
Lecture notes in computer science ;
مشخصه جلد
1249. Lecture notes in artificial intelligence
یادداشتهای مربوط به نیازمندی های سیستم (منابع الکترونیک)و جزئیات فنی
متن يادداشت
Mode of access: World Wide Web.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
قطعه
عنوان
OhioLINK electronic book center
عنوان
SpringerLink
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving, Congresses.
موضوع مستند نشده
Logic, Symbolic and mathematical, Congresses.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
McCune, W., (William)
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Automated Deduction(14th :1997 :, Townsville, Qld.)
مبدا اصلی
تاريخ عمليات
20100628092656.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
