机读格式显示(MARC)

• 000 01997nam 2200433 a 4500

• 000 1000078080

• 001 0000301939

• 005 20060109164812.0

• 008 010905s2001 gw a b 101 0 eng

• 010 __ |a 2001049648

• 020 __ |a 3540425985 (pbk. : alk. paper) : |c CNY300.00

• 040 __ |a DLC |c DLC |d OHX |d C$Q |d C#P |d SCT

• 042 __ |a pcc

• 050 00 |a QA448.D38 |b I577 2000

• 082 00 |a 516/.0285 |2 21

• 090 __ |a O18-53/IWA

• 093 __ |a O18-53 |2 4

• 093 __ |a TP3-53 |2 4

• 099 __ |a CAL 022001456992 |a CAL 022001459387

• 111 2_ |a International Workshop on Automated Deduction in Geometry |n (3rd : |d 2000 : |c Zurich, Switzerland)

• 245 10 |a Automated deduction in geometry : |b third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / |c Jürgen Richter-Gebert, Dongming Wang (eds.).

• 246 30 |a ADG 2000

• 260 __ |a Berlin ; |a New York : |b Springer, |c c2001.

• 300 __ |a viii, 323 p. : |b ill. ; |c 24 cm.

• 490 1_ |a Lecture notes in computer science ; |v 2061. |a Lecture notes in artificial intelligence

• 500 __ |a "...the Third International Workshop on Automated Deduction in Geometry (ADG 2000) held in Zurich, Switzerland, September 25-27, 2000 ..."--preface.

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Available also through SpringerLink via the World Wide Web. Adobe Acrobat Reader required.

• 650 _0 |a Logic, Symbolic and mathematical |v Congresses.

• 650 _0 |a Geometry |x Data processing |v Congresses.

• 650 _0 |a Automatic theorem proving |v Congresses.

• 700 1_ |a Richter-Gebert, Jürgen, |d 1963-

• 700 1_ |a Wang, Dongming.

• 830 _0 |a Lecture notes in computer science ; |v 2061.

• 830 _0 |a Lecture notes in computer science. |p Lecture notes in artificial intelligence.

• 901 __022005000946

• 905 __ |a CAU |f O18-53/IWA |b W0074970(or.)

• 907 __ |a CAU |f O18-53/IWA |b W0074970(or.)

• 999 __ |t C |A xy1 |a 20060109 16:46:35 |I xy1 |i 20060109 16:48:12 |G wzhlc |g 20060228 14:06:3