书目信息 机读格式(MARC)
Automated deduction in geometry :
| ISBN： | 3540425985 |
|---|---|
| 编目源： | DLC DLC |
| 语种代码： | eng |
| 会议名称： | International Workshop on Automated Deduction in Geometry |
| 题名： | Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / J鑥rgen Richter-Gebert, Dongming Wang, (eds.). |
| 出版发行项： | Berlin ; London : Springer, 2001. |
| 载体形态： | viii, 323 p. : ill. ; 24 cm. |
| 书目附注： | Includes bibliographical references and index. |