| Record ID | marc_oregon_summit_records/catalog_files/osu_bibs.mrc:951063250:869 |
| Source | Oregon Libraries |
| Download Link | /show-records/marc_oregon_summit_records/catalog_files/osu_bibs.mrc:951063250:869?format=raw |
LEADER: 00869nam a2200277Ia 4500
001 33812362
003 OR
008 951220s1995 ne a b 001 0 eng d
020 $a9061964563
035 $a10930203
040 $aWAU$cWAU
049 $aOREU$lbna
090 $aQA3$b.C851 no.112
100 1 $aBol, R. N.$q(Roland N.)
245 10 $aLoop checking in logic programming /$cR.N. Bol.
260 $aAmsterdam, the Netherlands :$bCWI,$cc1995.
300 $a198 p. :$bill. ;$c24 cm.
440 0 $aCWI tract ;$v112.
504 $aIncludes bibliographical references (p. 185-190) and index.
650 0 $aLogic programming.
710 2 $aCentrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
907 $a.b18545385$bvge $c-
902 $a001127
998 $b1$c981001$dm$ea$f-$g0
999 $a19951220082539.0
945 $lvge $aQA3$b.C851$d120009187648$e1$uno.112