机读格式显示(MARC)

• 000 01005cam 2200313 a 4500

• 000 1000006536

• 001 0000279994

• 005 20060619151522.0

• 008 871228s1984 enka b 001 0 eng

• 020 __ |a 0470201231 (U.S.) : |c 127.29

• 020 __ |z 0853127131 : |x #16.50

• 040 __ |a CAU

• 050 0_ |a Q335 |b .T87 1984

• 082 0_ |a 001.53/5 |2 19

• 090 __ |a TP11/TR

• 093 __ |a TP11 |2 4

• 099 __ |a CAL 022000310279

• 100 1_ |a Turner, Raymond, |d 1947-

• 245 10 |a Logics for artificial intelligence / |c Raymond Turner.

• 260 __ |a New York : |b Halsted Press, |c 1984.

• 300 __ |a 121 p. : |b ill. ; |c 25 cm.

• 440 _0 |a Ellis Horwood series in artificial intelligence

• 504 __ |a Includes bibliographies and index.

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Artificial intelligence.

• 901 __022006001526

• 905 __ |a CAU |f TP11/TR |b 57624ED-11(or.)

• 907 __ |a CAU |f TP11/TR |b 57624ED-11(or.)

• 999 __ |t E |A xy1 |a 20060619 15:15:15 |G unknown |g 19980101 |I xy1 |i 20060619 15:15:2