Franz Winkler (ed.)
Berlin ; Tokyo : Springer, c2004
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.08-L49-2930
|
10004003413 |
一般図書 |
|
|
|
|
2004
vi, 229 p. : ill. ; 24 cm
ADG 2002
Lecture notes in computer science ; 2930 [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 ]
LCC:QA448.D38
DC22:516/.0285
3540209271
BA66134227
