Record ID | marc_loc_2016/BooksAll.2016.part24.utf8:176660238:729 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_2016/BooksAll.2016.part24.utf8:176660238:729?format=raw |
LEADER: 00729nam a2200241 a 4500
001 95150665
003 DLC
005 19960215090419.4
008 940818s1994 gw a b 001 0 eng d
010 $a 95150665
020 $a3860641506
035 $a(OCoLC)30965183
040 $aARaS$cARaS$dDLC
042 $alccopycat
050 00 $aQA76.63$b.D35 1994
100 1 $aDahr, Michael,$d1963-
245 10 $aPetri net semantics of logic programs and deductive databases /$cMichael Dahr.
260 $aHamburg :$bKovac,$cc1994.
300 $aviii, 140 p. :$bill. ;$c21 cm.
504 $aIncludes bibliographical references (p. 131-136) and index.
650 0 $aLogic programming.
650 0 $aDeductive databases.
650 0 $aPetri nets.