Record ID | marc_loc_2016/BooksAll.2016.part15.utf8:131762470:766 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_2016/BooksAll.2016.part15.utf8:131762470:766?format=raw |
LEADER: 00766cam a2200241 a 4500
001 84020277
003 DLC
005 20111221090624.0
008 840907s1984 gw b 001 0 eng
010 $a 84020277
020 $a0387132996 (U.S.)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.L583 1984
082 00 $a001.64/2$219
100 1 $aLloyd, J. W.$q(John Wylie),$d1947-
245 10 $aFoundations of logic programming /$cJ.W. Lloyd.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1984.
300 $ax, 124 p. ;$c25 cm.
440 0 $aSymbolic computation.$pArtificial intelligence
504 $aBibliography: p. [113]-118.
500 $aIncludes index.
650 0 $aLogic programming.
650 0 $aProgramming languages (Electronic computers)$xSemantics.