عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9401702535
شابک
9789401702539
شماره کتابشناسی ملی
شماره
b596551
عنوان و نام پديدآور
عنوان اصلي
Thirty Five Years of Automating Mathematics.
نام عام مواد
[Book]
نام نخستين پديدآور
Dov M Gabbay
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
Springer Netherlands
تاریخ نشرو بخش و غیره
2010
مشخصات ظاهری
نام خاص و کميت اثر
(323 pages).
فروست
عنوان فروست
Applied logic series.
یادداشتهای مربوط به مندرجات
متن يادداشت
Title Page; Copyright; CONTENTS; LIST OF CONTRIBUTORS; INDEX.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Dov M Gabbay
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Dov M Gabbay
مستند نام اشخاص تاييد نشده
Fairouz D Kamareddine
مستند نام اشخاص تاييد نشده
Jon Barwise
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
