机读格式显示(MARC)

• 000 01412nam2 2200337 4500

• 001 0000228760

• 005 20060609135549.0

• 008 060609s2005 gw 000 0 eng d

• 020 __ |a 3-540-25236-3(paper) |c CNY785.4

• 040 __ |a BUPTL

• 041 0_ |a eng

• 093 __ |a TP18 |v 4

• 111 2_ |a LPAR 2004 |d (2005 : |c Montevideo, Uruguay).

• 245 10 |a Logic for programming, artificial intelligence, and reasoning : |b 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / |c Franz Baader, Andrei Voronkov (eds.).

• 246 30 |a LPAR 2004.

• 260 __ |a Berlin : |b Springer, |c c2005.

• 300 __ |a xi, 562 p. : |b ill. ; |c 24 cm.

• 490 1_ |a Lecture notes in computer science, |x 0302-9743 ; |v 3452. |a Lecture notes in artificial intelligence.

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Also issued online.

• 650 _0 |a Artificial intelligence |v Congresses.

• 650 _0 |a Logic programming |v Congresses.

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

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

• 700 1_ |a Baader, Franz. |A Baader, Franz

• 810 99060609s2006 enka b o10100 eng d |c 20060609

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

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

• 851 _0 |a CN |b HIEL

• 905 __ |a HIEL |d TP18/B17

• 999 __ |a 22 |b 1 |e 200602