Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: International Workshop on Automated Deduction in Geometry Zurich, Switzerland)
مؤلفون آخرون: Richter-Gebert, Jurgen, 1963-, Wang, Dongming.
التنسيق: Sách giấy
منشور في: Berlin ; New York : Springer, c2001.
سلاسل:Lecture notes in computer science ; 2061.
Lecture notes in computer science. Lecture notes in artificial intelligence.
الموضوعات:
Automatic theorem proving > Congresses.
Geometry > Data processing > Congresses.
Logic, Symbolic and mathematical > Congresses.
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
الوصف
وصف مادي:viii, 323 p. : ill. ; 24 cm.
بيبلوغرافيا:Includes bibliographical references and index.
ردمك:3540425985 (acid-free paper)

مواد مشابهة