نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
The automation of reasoning : an experimenters notebook with OTTER tutorial
پدید آورنده
Wos, Larry.
موضوع
Automatic theorem proving
رده
QA
76
.
9
.
A96
W68
1996
کتابخانه
کتابخانه مرکزی دانشگاه صنعتی امیرکبیر
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)
اطلاعات محلی رکورد
نوع مدرک
CE
عنوان و نام پديدآور
نام نخستين پديدآور
Wos, Larry.
عنوان اصلي
The automation of reasoning : an experimenters notebook with OTTER tutorial
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston
نام ناشر، پخش کننده و غيره
Academic Press
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 434 p. : ill. + 1 computer disk
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. 419-421( and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Automatic theorem proving
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
9
شماره رکورد رده بندي
.
A96
W68
شماره رکورد غير از شماره رده بندي
1996
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Larry Wos
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
English
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد