008 |
|
790925r19851979sz a b 001 0 eng d |
015 |
|
|a79022659 //r84
|
020 |
|
|a0444003657|q(hbk.)
|
020 |
|
|a0444003681|q(pbk.)
|
035 |
|
|aocm05564433
|
040 |
|
|aTMUE|beng|cTMUE|dTMUE|eaacr2
|
050 |
14
|
|aQA63|bK68
|
082 |
04
|
|a519.7
|
090 |
|
|a01|tDDC|d160|eK88|cA0037322|r0.0
|
100 |
1
|
|aKowalski, Robert
|
245 |
10
|
|aLogic for problem solving / |cRobert Kowalski
|
260 |
|
|aTaipei : |bYa-Tung ; |aNew York : |bElsevier North Holland, |cc1979
|
300 |
|
|a287 p : |bill ; |c24 cm
|
490 |
0
|
|aArtificial intelligence series ; |vv. 7
|
490 |
0
|
|aThe Computer science library
|
504 |
|
|aIncludes bibliographical references (p. 247-260) and index
|
650 |
0
|
|aProblem solving
|
650 |
0
|
|aComputer programming
|
650 |
0
|
|aLogic, Symbolic and mathematical
|
653 |
0
|
|aProblem solving|aApplications of mathematical logic
|
653 |
0
|
|aDigital computer systems|aProgramming|aApplications of mathematical logic
|