عنوان
پدید آورنده
موضوع
رده
{1648},58f5cd92ab378d5ba32c2e983504bc9f
{
1648
},
58f5cd92ab378d5ba32c2e983504bc9f
کتابخانه
محل استقرار
استان: چهار محال و بختیاری ـ شهر: شهر كرد
شابک
شابک
0127347607 (acid-free paper)
اطلاعات محلی رکورد
نوع مدرک
English Book
عنوان و نام پديدآور
عنوان اصلي
Mathematics mechanization and applications
نام نخستين پديدآور
edited by Xiao-Shan Gao and Dongming Wang
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
San Diego
نام ناشر، پخش کننده و غيره
Academic Press,
تاریخ نشرو بخش و غیره
c2000
مشخصات ظاهری
نام خاص و کميت اثر
xix, 551 p. , ill. , 26 cm.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Includes bibliographical references (p. 507-539) and index.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Equations, Numerical solutions, Data processing
عنصر شناسه ای
Automatic theorem proving
