机读格式显示(MARC)
- 000 01702cam 2200409 a 4500
- 008 010928s2001 gw a b 101 0 eng
- 020 __ |a 3540425934 : |c CNY400.00
- 040 __ |a DLC |c DLC |d OHX |d C$Q |d SCT
- 050 00 |a QA76.63 |b .L76 2001
- 093 __ |a TP311.1-53 |2 4
- 099 __ |a CAL 022001459354
- 111 2_ |a LPNMR 2001 |d (2001 : |c Vienna, Austria)
- 245 10 |a Logic programming and nonmonotonic reasoning : |b 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings / |c Thomas Eiter, Wolfgang Faber, Miros?aw Truszczyński (eds.).
- 260 __ |a Berlin ; |a New York : |b Springer, |c c2001.
- 300 __ |a xi, 444 p. : |b ill. ; |c 24 cm.
- 490 1_ |a Lecture notes in computer science ; |v 2173. |a Lecture notes in artificial intelligence
- 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 Logic programming |v Congresses.
- 650 _0 |a Nonmonotonic reasoning |v Congresses.
- 700 1_ |a Truszczyński, Miros?aw.
- 700 1_ |a Eiter, Thomas, |d 1966-
- 700 1_ |a Faber, Wolfgang, |d 1974-
- 830 _0 |a Lecture notes in computer science ; |v 2173.
- 830 _0 |a Lecture notes in computer science. |p Lecture notes in artificial intelligence.
- 905 __ |a CAU |f TP311.1-53/LPN |b W0074877(or.)
- 907 __ |a CAU |f TP311.1-53/LPN |b W0074877(or.)
- 999 __ |t C |A xy1 |a 20051230 10:28:17 |I xy1 |i 20051231 09:11:23 |G wzhlc |g 20060307 14:25:4