机读格式显示(MARC)

• 000 01094nam2 2200361 4500

• 000 1000008246

• 001 0000164531

• 003 CAL

• 005 20050127095809.0

• 008 790925s1979 nyua b 001 0 eng d

• 020 __ |a 0444003657 |c CNY1.70

• 040 __ |a SJT |c SJT

• 050 00 |a QA63 |b .K68

• 082 04 |a 519.7

• 090 __ |a TP11/E15

• 093 __ |a TP11 |2 3

• 099 __ |a CAL 022000291818

• 100 1_ |a Kowalski, Robert.

• 245 10 |a Logic for problem solving / |c Robert Kowalski.

• 260 __ |a New York : |b Elsevier North Holland, |c c1979.

• 300 __ |a 287 p. : |b ill. ; |c 24 cm.

• 490 0_ |a The Computer science library

• 490 0_ |a Artificial intelligence series

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Electronic digital computers |x Programming.

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Problem solving.

• 905 __ |a XATU |d TP11/E15

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f TP11/E15

• 991 __022005004160

• 998 __ |a PUL

• 999 __ |t C |A zhouwei |a 20050127 09:57:29 |I zhouwei |i 20050127 09:58:09 |G zhouwei |g 20050127 09:58:3