机读格式显示(MARC)

• 000 01455cam 2200373 a 4500

• 000 1000077816

• 001 0000301691

• 005 20051231090209.0

• 008 011026s2001 gw a b 101 0 eng

• 010 __ |a 2001054999

• 020 __ |a 354042752X (softcover : alk. paper) : |c CNY200.00

• 040 __ |a DLC |c DLC |d OHX |d ORE |d SCT

• 042 __ |a pcc

• 050 00 |a QA76.9.A96 |b P753 2001

• 082 00 |a 004/.01/5113 |2 21

• 090 __ |a TP301-53/PTC

• 093 __ |a TP301-53 |2 4

• 099 __ |a CAL 022002011503

• 111 2_ |a PTCS 2001 |d (2001 : |c Dahgstuhl Castle)

• 245 10 |a Proof theory in computer science : |b international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / |c Reinhard Kahle, Peter Schroeder-Heister, Robert Stark (eds.).

• 246 30 |a PTCS 2001

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

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

• 440 _0 |a Lecture notes in computer science, |x 0302-9743 ; |v 2183

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Available also through Springer LINK.

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

• 700 1_ |a Stark, Robert F., |d 1963-

• 700 1_ |a Kahle, Reinhard, |d 1967-

• 700 1_ |a Schroeder-Heister, Peter Joseph, |d 1953-

• 901 __022005000571

• 905 __ |a CAU |f TP301-53/PTC |b W0074798(or.)

• 907 __ |a CAU |f TP301-53/PTC |b W0074798(or.)

• 999 __ |t C |A xy1 |a 20051226 09:27:19 |I xy1 |i 20051231 09:02:09 |G wzhlc |g 20060301 10:05:5