عنوان
پدید آورنده
موضوع
رده
QA 448 .D38 I577 2004
QA
448
.
D38
I577
2004
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
421660
عنوان و نام پديدآور
عنوان اصلي
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
c2006
مشخصات ظاهری
نام خاص و کميت اثر
x, 211 p. : ill
فروست
عنوان فروست
Lecture notes in computer science. Lecture notes in artificial intelligence
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Geometry - Data processing
عنصر شناسه ای
Congresses ، Automatic theorem proving
عنصر شناسه ای
Congresses ، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
448
.
D38
I577
2004
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Hoon Hong, Dongming Wang )eds.(
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU nooH ,gnoH
عنصر شناسه اي
AU gnimgnoD ,gnaW
عنصر شناسه اي
TI
شناسه افزوده (تنالگان)
عنصر شناسه اي
International Workshop on Automated Deduction in Geometry)5th :2004 :Gainesville, Fla.(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
1
