机读格式显示(MARC)

• 000 01460cam 2200373 a 4500

• 000 1000077950

• 001 0000301816

• 005 20060104095634.0

• 008 020213s2002 gw a b 101 0 eng

• 010 __ |a 2002022188

• 020 __ |a 3540432876 (alk. paper) : |c CNY200.00

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

• 042 __ |a pcc

• 050 00 |a QA76.9.A96 |b T96 2000

• 082 00 |a 006.3/33 |2 21

• 090 __ |a TP311.1-53/TYP

• 093 __ |a TP311.1-53 |2 4

• 099 __ |a CAL 022002152327

• 111 2_ |a TYPES 2000 |d (2000 : |c Durham, England)

• 245 10 |a Types for proofs and programs : |b International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / |c Paul Callaghan ... [et al.] (eds.).

• 246 30 |a TYPES 2000

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

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

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

• 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 Automatic theorem proving |v Congresses.

• 650 _0 |a Computer programming |v Congresses.

• 700 1_ |a Callaghan, Paul, |d 1970-

• 710 2_ |a LINK (Online service)

• 901 __022005000794

• 905 __ |a CAU |f TP311.1-53/TYP |b W0074913(or.)

• 907 __ |a CAU |f TP311.1-53/TYP |b W0074913(or.)

• 999 __ |t C |A xy1 |a 20051231 16:20:07 |I xy1 |i 20060104 09:56:34 |G wzhlc |g 20060223 10:29:3