عنوان
پدید آورنده
موضوع
رده
QA 448 .D38 .I577 2000
QA
448
.
D38
.
I577
2000
کتابخانه
محل استقرار
137274
تابستان۳۸
English
)20(
Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers
Berlin
Springer
2001
viii, 323 p.: ill.; 24 cm
Lecture notes in artificial intelligence
Lecture notes in computer science
2061
Includes bibliographical references and index
Congresses ، Geometry-- Data processing
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
448
.
D38
.
I577
2000
AU
Jurgen Richter-Gebert, Dongming Wang )eds.(
AU negruJ ,trebeG-rethciR 1963-
AU gnimgnoD ,gnaW
TI
SE
International Workshop on Automated Deduction in Geometry )3rd: 2000: Zurich, Switzerland(
02
