Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:301590411:1562 |
Source | marc_columbia |
Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:301590411:1562?format=raw |
LEADER: 01562mam a2200337 a 4500
001 1352728
005 20220602014054.0
008 930729t19931993gw a b 100 0 eng d
020 $a3540569448
020 $a0387569448
035 $a(OCoLC)ocm28533902
035 $9AHK0108CU
035 $a(NNC)1352728
035 $a1352728
040 $aEUE$cEUE$dNNC
111 2 $aLPAR (Conference)$0http://id.loc.gov/authorities/names/nb2010026590
245 10 $aLogic programming and automated reasoning :$b4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /$cAndrei Voronkov, ed.
260 $aBerlin :$bSpringer,$c[1993], ©1993.
300 $axiii, 386 pages :$billustrations ;$c24 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aLecture notes in computer science ;$v698.$aLecture notes in artificial intelligence
490 1 $aLecture notes in computer science ;$v698
504 $aIncludes bibliographical references.
650 0 $aLogic programming$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008107111
650 0 $aAutomatic theorem proving$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2007101477
700 1 $aVoronkov, Andrei,$d1959-$0http://id.loc.gov/authorities/names/n92045267
830 0 $aLecture notes in computer science ;$v698.$aLecture notes in artificial intelligence.
830 0 $aLecture notes in computer science ;$v698.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.63$i.I55 1993