MARC状态:已编 文献类型:西文图书 浏览次数:62
- 题名/责任者:
- 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 ; New York : Springer, c2001.
- ISBN:
- 3540425985 (pbk. : alk. paper) :
- 载体形态项:
- viii, 323 p. : ill. ; 24 cm.
- 变异题名:
- ADG 2000
- 丛编统一题名:
- Lecture notes in computer science ; 2061.
- 丛编统一题名:
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- 会议名称:
- International Workshop on Automated Deduction in Geometry (3rd : 2000 : Zurich, Switzerland)
- 附加个人名称:
- Richter-Gebert, Jürgen, 1963-
- 附加个人名称:
- Wang, Dongming.
- 论题主题:
- Logic, Symbolic and mathematical-Congresses.
- 论题主题:
- Geometry-Data processing-Congresses.
- 论题主题:
- Automatic theorem proving-Congresses.
- 中图法分类号:
- O18-53
- 中图法分类号:
- TP3-53
- 一般附注:
- "...the Third International Workshop on Automated Deduction in Geometry (ADG 2000) held in Zurich, Switzerland, September 25-27, 2000 ..."--preface.
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Available also through SpringerLink via the World Wide Web. Adobe Acrobat Reader required.
- 随书光盘:
全部MARC细节信息>>