机读格式显示(MARC)

• 000 01316cam 2200361 a 4500

• 000 1000078054

• 001 0000301913

• 005 20060224110101.0

• 008 010713s2001 gw a b 001 0 eng

• 010 __ |a 2001049125

• 020 __ |a 3540423974 (pbk.) : |c CNY250.00

• 040 __ |a DLC |c DLC |d DLC |d SCT

• 042 __ |a pcc

• 050 00 |a Q334 |b .K87 2001

• 082 00 |a 006.3/32 |2 21

• 090 __ |a TP18/KR

• 093 __ |a TP18 |2 4

• 099 __ |a CAL 022001416448

• 100 1_ |a Küsters, Ralf.

• 245 10 |a Non-standard inferences in description logics / |c Ralf Küsters.

• 260 __ |a Berlin ; |a New York : |b Springer, |c c2001.

• 300 __ |a x, 250 p. : |b ill. ; |c 24 cm.

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

• 504 __ |a Includes bibliographical references (p. [235]-244) and index.

• 650 _0 |a Knowledge representation (Information theory).

• 650 _0 |a Artificial intelligence.

• 650 _0 |a Predicate (Logic).

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

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

• 901 __022005000923

• 905 __ |a CAU |f TP18/KR |b W0074952(or.)

• 907 __ |a CAU |f TP18/KR |b W0074952(or.)

• 999 __ |t C |A xy1 |a 20060109 14:15:54 |I wzhlc |i 20060224 11:01:01 |G wzhlc |g 20060224 11:01:0