机读格式显示(MARC)

• 000 00948cam 2200313 45 0

• 000 1000003117

• 001 0000276795

• 005 19990917091435.0

• 008 19790925s1979 nyua b 00110 eng

• 020 __ |a 0444003657 : |c 1.70

• 040 __ |a CAU

• 050 0_ |a QA63 |b .K68

• 082 __ |a 519.7

• 090 __ |a TP391.1/KR

• 100 10 |a Kowalski, Robert.

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

• 260 0_ |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

• 500 __ |a Includes index.

• 504 __ |a Bibliography: p. 247-260.

• 650 _0 |a Problem solving.

• 650 _0 |a Logic, Symbolic and mathematical.

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

• 901 __85003549

• 905 __ |a CAU |f TP391.1/KR |b 44743

• 907 __ |a CAU |f TP391.1/KR |b 44743

• 999 __ |M wyh |m 1999091709143