机读格式显示(MARC)

• 000 01374nam 2200493 a 4500

• 001 0000401895

• 003 SCNU

• 005 20050717153907.0

• 008 790925s1979 nyua b 001 0 eng d

• 020 __ |a 0444003657

• 040 __ |a SJT |c SJT

• 050 _4 |a QA63 |b .K68

• 082 04 |a 519.7

• 093 __ |a O391.1 |2 4

• 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 Artificial intelligence series

• 490 0_ |a The Computer science library

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Problem solving.

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

• 650 _0 |a Logic, Symbolic and mathematical.

• 920 __ |a 211010 |b O221 |c K849 |z 1

• 920 __ |a 231030 |b O141 |c K88L |z 1

• 920 __ |a 211180 |z 2

• 920 __ |a 242010 |z 1

• 920 __ |a 251050 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 261020 |z 2

• 920 __ |a 244050 |z 1

• 920 __ |a 243040 |z 1

• 920 __ |a 211130 |z 1

• 920 __ |a 211260 |z 1

• 950 __ |a SCNU |f TP391.1/K88

• 998 __ |a PUL

• 999 __ |t C |A gzhj |a 20050717 15:38:36 |M gzhj |m 20050717 15:39:07

• 000 1000015342

• 991 __ |a 022005010780

• 907 __ |a SCNU |f TP391.1/K88