Jürgen Richter-Gebert, Dongming Wang (eds.)
Berlin : Springer, c2001
Book| No. | Printing year | Location | Call Number | Material ID | Circulation class | Status | Waiting |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
0030874 |
Regular |
|
|
2001
viii, 323 p. : ill. ; 24 cm
Lecture notes in computer science ; 2061 [Lecture notes in artificial intelligence]
Includes bibliographical references and index
Germany
English (eng)
English (eng)
International Workshop on Automated Deduction in Geometry [ Workshop on Automated Deduction in Geometry, International ] [ ADG ]
3540425985
BA53656183
