| Record ID | ia:logic-for-problem-solving-_1979 |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/logic-for-problem-solving-_1979/logic-for-problem-solving-_1979_marc.xml |
| Download MARC binary | https://www.archive.org/download/logic-for-problem-solving-_1979/logic-for-problem-solving-_1979_meta.mrc |
LEADER: 00773cam a2200265 i 4500
001 79022659
003 DLC
005 19990114115603.9
008 790925s1979 nyua b 00110 eng
010 $a 79022659 //r84
020 $a0444003657
040 $aDLC$cDLC$dDLC
050 00 $aQA63$b.K68
082 00 $a519.7
100 10 $aKowalski, Robert.
245 10 $aLogic for problem solving /$cRobert Kowalski.
260 0 $aNew York :$bElsevier North Holland,$cc1979.
300 $a287 p. :$bill. ;$c24 cm.
490 0 $aArtificial intelligence series
490 0 $aThe Computer science library
504 $aBibliography: p. 247-260.
500 $aIncludes index.
650 0 $aProblem solving.
650 0 $aComputer programming.
650 0 $aLogic, Symbolic and mathematical.