江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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 artificial intelligence

丛编统一题名:

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.

论题主题:

Geometry-Data processing-Congresses.

论题主题:

Automatic theorem proving-Congresses.

论题主题:

Logic, Symbolic and mathematical-Congresses.

中图法分类号:

O18-53

中图法分类号:

TP3-53

中图法分类号:

O18

一般附注:

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

电子资源:

http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2061&issue=preprint

豆瓣简介：