Logic for problem solving /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York :
Elsevier North Holland,
c1979.
|
| Schriftenreihe: | The computer science library
Artificial intelligence series (Hillsdale, N.J.) |
| Schlagworte: |
| LEADER | 01335cam a2200397 a 4500 | ||
|---|---|---|---|
| 001 | c000284660 | ||
| 003 | CARM | ||
| 005 | 20080716110927.0 | ||
| 008 | 790925s1979 nyua b 001 0 eng | ||
| 010 | |a 79022659 | ||
| 019 | 1 | |a 1540834 |z 40713398 |z 23899095 |5 LACONCORD2021 | |
| 020 | |a 0444003657 | ||
| 020 | |a 0444003681 | ||
| 035 | |a (OCoLC)5564433 |5 LACONCORD2021 | ||
| 040 | |a LC |b eng |c LC |d LC | ||
| 050 | 0 | 0 | |a QA63 |b .K68 |
| 050 | 1 | 4 | |a QA63 |b .K68 |
| 082 | 0 | 0 | |a 519.7 |
| 082 | 0 | 4 | |a 519.7 |
| 082 | 0 | 4 | |a 519.7 |
| 100 | 1 | |a Kowalski, Robert. | |
| 245 | 1 | 0 | |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. | ||
| 440 | 4 | |a The computer science library | |
| 490 | 0 | |a Artificial intelligence series | |
| 490 | 0 | |a The Computer science library | |
| 500 | |a Includes index. | ||
| 504 | |a Bibliography: p. 247-260. | ||
| 650 | 0 | |a Problem solving. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 830 | 0 | |a Artificial intelligence series (Hillsdale, N.J.) | |
| 852 | 8 | |b CARM |h A3:AR05B0 |i B10751 |p 0494927 |f BK | |
| 999 | f | f | |i d46bdb26-6498-53de-adb2-2e66206568dd |s ed68876a-2b2d-5134-b16f-277205b042e9 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e B10751 |f A3:AR05B0 |h Other scheme |i book |m 0494927 |