机读格式显示(MARC)
- 000 01433cam 2200373 a 4500
- 008 070123s2001 gw a b 101 0 eng
- 020 __ |a 3540422544 (pbk. : alk. paper)
- 040 __ |a DLC |c DLC |d DLC |d SCT
- 050 00 |a QA76.9.A96 |b I38 2001
- 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.).
- 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 Leitsch, Alexander, |d 1952-
- 700 1_ |a Nipkow, Tobias, |d 1958-
- 830 _0 |a Lecture notes in computer science ; |v 2083.
- 830 _0 |a Lecture notes in computer science. |p Lecture notes in artificial intelligence.
- 950 __ |a JHUL |b TP182 |c A939