عنوان
پدید آورنده
موضوع
رده
QA 448 .D38 I577 2004
QA
448
.
D38
I577
2004
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
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,2030-2479 ;3673. Lecture notes in artificial intelligence
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Hoon Hong, Dongming Wang )eds.(
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
متن يادداشت
2
متن يادداشت
3
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Geometry - Data processing
عنصر شناسه ای
Congresses ، Automatic theorem proving
عنصر شناسه ای
Congresses ، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
448
.
D38
I577
2004
سایر رده بندی ها
شماره رده
NO
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Hong, Hoon
عنصر شناسه اي
AU Wang, Dongming
عنصر شناسه اي
TI
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
International Workshop on Automated Deduction in Geometry )5th: 2004: Gainesville, Fla.(
