عنوان
پدید آورنده
موضوع
رده
QA76.9 .A96,W8 2000
QA76
.
9
.
A96
,
W8
2000
کتابخانه
محل استقرار
شابک
شابک اشتباه
079235835X
شماره کتابشناسی ملی
کد کشور
IR
شماره
EB11893
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Mathematics mechanization
نام عام مواد
[Electronic Resource]
ساير اطلاعات عنواني
:mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
نام نخستين پديدآور
/ by Wu Wen-tsun
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht ; Boston
نام ناشر، پخش کننده و غيره
: Kluwer Academic Publishers,
تاریخ نشرو بخش و غیره
, c2000.
مشخصات ظاهری
نام خاص و کميت اثر
xii, 420 p. ill. 25 cm.
فروست
عنوان فروست
(Mathematics and its applications
مشخصه جلد
; v. 489)
يادداشت کلی
متن يادداشت
"This is an updated revised translation of the original Chinese work of the same title, Science Press, c2000"--Verso of t.p.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
ng
متن يادداشت
Includes bibliographical references (p. [392]-402) and index.
فروست (داده ارتباطی)
عنوان
Mathematics and its applications (Kluwer Academic Publishers)
شماره جلد
v. 489
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving
موضوع مستند نشده
Equations- Numerical solutions
موضوع مستند نشده
Artificial intelligence
رده بندی ديویی
شماره
511
.
3
رده بندی کنگره
شماره رده
QA76
.
9
نشانه اثر
.
A96
,
W8
2000
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Wu, Wen-tsun.
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
