机读格式显示(MARC)

• 000 01549nam2 2200385 4500

• 000 1000001093

• 001 0000157605

• 003 CAL

• 005 20040610202004.0

• 008 981216s1992 gw a b 10010 eng

• 010 __ |a 92021886 //r94

• 020 __ |a 354055727X (Berlin : acid-free paper) |c CNY566.12

• 020 __ |a 038755727X (New York : acid-free paper)

• 040 __ |a DLC |c XAIT

• 050 00 |a QA76.63 |b .I55 1992

• 082 00 |a 006.3 |2 20

• 090 __ |a TP302.2-53/1:(92)E

• 093 __ |a TP302.2-53 |2 4

• 099 __ |a CAL 022000342156

• 111 2_ |a LPAR |d (1992 : |c Saint Petersburg, Russia)

• 245 10 |a Logic programming and automated reasoning : |b international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / |c A. Voronkov, ed.

• 260 __ |a Berlin ; |a New York : |b Springer-Verlag, |c c1992.

• 300 __ |a xiv, 509 p. : |b ill. ; |c 25 cm.

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

• 504 __ |a Includes bibliographical references.

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

• 650 _0 |a Logic programming |x Congresses.

• 700 1_ |a Voronkov, A. |q (Andrei), |d 1959-

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

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

• 905 __ |a XATU |d TP302.2-53/1:(92)E

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f TP302.2-53/1:(92)

• 991 __022004001094

• 999 __ |t C |A shenxiaoyan |a 20040610 20:18:20 |M shenxiaoyan |m 20040610 20:20:04 |G shenxiaoyan |g 20040610 20:20:3