Jürgen Richter-Gebert, Dongming Wang (eds.)
Berlin : Springer, c2001
図書| No. | 刷年 | 所在 | 請求記号 | 資料ID | 貸出区分 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
0030874 |
一般 |
|
|
2001
viii, 323 p. : ill. ; 24 cm
Lecture notes in computer science ; 2061 [Lecture notes in artificial intelligence]
Includes bibliographical references and index
英語 (eng)
英語 (eng)
International Workshop on Automated Deduction in Geometry [ Workshop on Automated Deduction in Geometry, International ] [ ADG ]
3540425985
BA53656183
