عنوان
پدید آورنده
موضوع
رده
QA 448 .D38 I577 2002
QA
448
.
D38
I577
2002
کتابخانه
محل استقرار
English
Automated deduction in geometry: 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002: revised papers
Berlin; New York
Springer
c2004
vi, 229 p.: ill.; 24 cm
Lecture notes in computer science, 0392; )Lecture notes in artificial intelligence(
Includes bibliographical references and index.
Franz Winkler )ed.(
1
Data processing - Congresses ، Geometry
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
516/
.
00285
QA
448
.
D38
I577
2002
AU
AU Winkler, Franz 1955-
TI
SE
SE Lecture notes in artificial intelligence
International Workshop on Automated Deduction in Geometry )4th: 2002: Linz, Austria(
