عنوان
پدید آورنده
موضوع
رده
QA,76.95,.I565,2003
QA
,
76
.
95
,.
I565
,
2003
کتابخانه
محل استقرار
شابک
شرايط تهيه و بها
acid-free paper)
شابک
3540005684 (softcover
شماره کتابشناسی ملی
کد کشور
IR
شماره
ebook28400
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Mathematical knowledge management
نام عام مواد
[Electronic Resource]
ساير اطلاعات عنواني
:second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
نام نخستين پديدآور
/ Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ;New York
نام ناشر، پخش کننده و غيره
: Springer,
تاریخ نشرو بخش و غیره
, c2003.
مشخصات ظاهری
نام خاص و کميت اثر
x, 223 p.
ساير جزييات
: ill. ; 24 cm.
فروست
عنوان فروست
(Lecture notes in computer science,0302-9743
مشخصه جلد
; 2594)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
e
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Mathematics--Data processing--Congresses
موضوع مستند نشده
Information storage and retrieval systems--Mathematics--Congresses
موضوع مستند نشده
Automatic theorem proving--Congresses
رده بندی ديویی
شماره
510
,
285
رده بندی کنگره
شماره رده
QA
,
76
.
95
,.
I565
,
2003
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Asperti, Andrea
مستند نام اشخاص تاييد نشده
Buchberger, Bruno
مستند نام اشخاص تاييد نشده
Davenport, James Harold� 1953
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Mathematical Knowledge Management(2nd :2003 :Bertinoro, Italy)
مبدا اصلی
کشور
ایران
شماره دستیابی
شماره بازیابی
510,285
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
3540005684.pdf
نوع فرمت الکترونيکي
0
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
