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. |