| Record ID | marc_loc_updates/v36.i10.records.utf8:5936670:1191 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:5936670:1191?format=raw |
LEADER: 01191cam a2200289 a 4500
001 94028234
003 DLC
005 20080307103856.0
008 940620s1994 gw a b 100 0 eng
010 $a 94028234
020 $a3540582770 (Berlin : acid-free paper)
020 $a0387582770 (New York : acid-free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.5$b.W64 1993
082 00 $a004/.01/5113$220
111 2 $aWorkshop on Computer Science Logic$n(7th :$d1993 :$cSwansea, Wales)
245 10 $aComputer science logic :$b7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /$cEgon Börger, Yuri Gurevich, Karl Meinke, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1994.
300 $aviii, 336 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v832
504 $aIncludes bibliographical references.
650 0 $aComputer science$xCongresses.
650 0 $aLogic, Symbolic and mathematical$xCongresses.
700 1 $aBörger, E.$q(Egon),$d1946-
700 1 $aGurevich, Yuri.
700 1 $aMeinke, K.$q(Karl)
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/94028234-d.html