| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:300555282:1367 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:300555282:1367?format=raw |
LEADER: 01367fam a2200337 a 4500
001 1351950
005 20220602013941.0
008 930312t19931993maua b 101 0 eng
010 $a 93017020
020 $a0262660830
035 $a(OCoLC)27814136
035 $a(OCoLC)ocm27814136
035 $9AHJ9019CU
035 $a(NNC)1351950
035 $a1351950
040 $aDLC$cDLC$dDLC
050 00 $aQA76.63$b.L6323 1993
082 00 $a006.3$220
245 00 $aLogic programming and non-monotonic reasoning :$bproceedings of the second international workshop /$cedited by Luís Moniz Pereira and Anil Nerode.
260 $aCambridge, Mass. :$bMIT Press,$c[1993], ©1993.
300 $avii, 494 pages :$billustrations ;$c23 cm
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
500 $aPapers presented during the workshop held in Lisbon in June 1993.
504 $aIncludes bibliographical references and index.
650 0 $aLogic programming$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008107111
650 0 $aReasoning$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008110531
700 1 $aPereira, Luís Moniz.$0http://id.loc.gov/authorities/names/n86817606
700 1 $aNerode, Anil,$d1932-$0http://id.loc.gov/authorities/names/n82090372
852 00 $boff,eng$hQA76.63$i.L6323 1993