عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 E358 1995
QA76
.
9
.
A96
E358
1995
کتابخانه
محل استقرار
شابک
شابک
3211826009
شابک
3709166047
شابک
9783211826003
شابک
9783709166048
شماره کتابشناسی ملی
شماره
b587220
عنوان و نام پديدآور
عنوان اصلي
Automated Practical Reasoning :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Algebraic Approaches
نام نخستين پديدآور
edited by Jochen Pfalzgraf, Dongming Wang.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Vienna
نام ناشر، پخش کننده و غيره
Springer Vienna
تاریخ نشرو بخش و غیره
1995
فروست
عنوان فروست
Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes-Kepler-University, Linz, Austria
رده بندی کنگره
شماره رده
QA76
.
9
.
A96
نشانه اثر
E358
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Jochen Pfalzgraf, Dongming Wang.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Dongming Wang
مستند نام اشخاص تاييد نشده
Jochen Pfalzgraf
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
