| Record ID | marc_loc_2016/BooksAll.2016.part21.utf8:29927248:741 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part21.utf8:29927248:741?format=raw |
LEADER: 00741cam a2200241 a 4500
001 91045730
003 DLC
005 20120725081108.0
008 911226s1992 maua b 001 0 eng
010 $a 91045730
020 $a0262121654
040 $aDLC$cDLC$dDLC
050 00 $aQA76.63$b.L613 1992
082 00 $a005.1$220
100 1 $aLobo, Jorge.
245 10 $aFoundations of disjunctive logic programming /$cJorge Lobo, Jack Minker, Arcot Rajasekar.
260 $aCambridge, Mass. :$bMIT Press,$cc1992.
300 $a307 p. :$bill. ;$c24 cm.
440 0 $aLogic programming
504 $aIncludes bibliographical references (p. [275]-290) and indexes.
650 0 $aLogic programming.
700 1 $aMinker, Jack.
700 1 $aRajasekar, Arcot.