机读格式显示(MARC)
- 000 01682cam 2200385 a 4500
- 008 010405s2001 gw a b 101 0 eng
- 020 __ |a 3540420711 (pbk. : alk. paper) : |c CNY300.00
- 040 __ |a DLC |c DLC |d DLC |d SCT
- 050 00 |a Q334 |b .I553 2000
- 099 __ |a CAL 022001420892 |a CAL 022001397867
- 111 2_ |a International Conference AISC 2000 |d (2000 : |c Madrid, Spain)
- 245 10 |a Artificial intelligence and symbolic computation : |b international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers / |c John A. Campbell, Eugenio Roanes-Lozano (eds.).
- 260 __ |a Berlin ; |a New York : |b Springer, |c c2001.
- 300 __ |a x, 252 p. : |b ill. ; |c 24 cm.
- 490 1_ |a Lecture notes in computer science ; |v 1930. |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 Artificial intelligence |v Congresses.
- 650 _0 |a Logic, Symbolic and mathematical |v Congresses.
- 700 1_ |a Campbell, J. A., |d 1940-
- 700 1_ |a Roanes-Lozano, Eugenio.
- 830 _0 |a Lecture notes in computer science ; |v 1930.
- 830 _0 |a Lecture notes in computer science. |p Lecture notes in artificial intelligence.
- 905 __ |a CAU |f TP18-53/ICA |b W0074867(or.)
- 907 __ |a CAU |f TP18-53/ICA |b W0074867(or.)
- 999 __ |t C |A xy1 |a 20051229 16:28:09 |I wzhlc |i 20060307 14:43:49 |G wzhlc |g 20060307 15:22:1