机读格式显示(MARC)
- 000 01406cam 2200361 a 4500
- 008 061114s2001 gw a b 101 0 eng
- 020 __ |a 354042752X (softcover : alk. paper)
- 040 __ |a DLC |c DLC |d OHX |d ORE |d SCT
- 050 00 |a QA76.9.A96 |b P753 2001
- 082 00 |a 004/.01/5113 |2 21
- 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 St?rk (eds.).
- 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 Kahle, Reinhard, |d 1967-
- 700 1_ |a Schroeder-Heister, Peter Joseph, |d 1953-
- 700 1_ |a St?rk, Robert F., |d 1963-
- 856 41 |u http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2183&issue=preprint |z Springer LINK version
- 950 __ |a JHUL |b TP301 |c P965