机读格式显示(MARC)

• 000 01607cam 2200397 a 4500

• 000 1000078285

• 001 0000302130

• 005 20060321084921.0

• 008 010604s2001 gw a b 101 0 eng

• 010 __ |a 2001041144

• 020 __ |a 3540422544 (pbk. : alk. paper) : |c CNY700.00

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

• 042 __ |a pcc

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

• 082 00 |a 006.3/33 |2 21

• 090 __ |a TP18-53/IJC

• 093 __ |a TP18-53 |2 4

• 099 __ |a CAL 022001418772 |a CAL 022001420922 |a CAL 022001420908

• 111 2_ |a IJCAR 2001 |n 1st : |d 2001 : |c Siena, Italy)

• 245 10 |a Automated reasoning : |b First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings / |c Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).

• 246 30 |a IJCAR 2001

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

• 300 __ |a xv, 708 p. : |b ill. ; |c 24 cm.

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

• 504 __ |a Includes bibliographical references and index.

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

• 650 _0 |a Computer logic |v Congresses.

• 700 1_ |a Nipkow, Tobias, |d 1958-

• 700 1_ |a Gore, Rajeev.

• 700 1_ |a Leitsch, Alexander, |d 1952-

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

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

• 901 __022006000168

• 905 __ |a CAU |f TP18-53/IJC |b W0075111(or.)

• 907 __ |a CAU |f TP18-53/IJC |b W0075111(or.)

• 999 __ |t C |A xy1 |a 20060223 08:24:02 |I wzhlc |i 20060321 08:49:21 |G wzhlc |g 20060321 08:49:2