| Record ID | marc_records_scriblio_net/part24.dat:63186848:1088 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part24.dat:63186848:1088?format=raw |
LEADER: 01088cam 2200277 a 4500
001 94028234
003 DLC
005 19940920132040.3
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 10 $aBörger, E.$q(Egon),$d1946-
700 10 $aGurevich, Yuri.
700 10 $aMeinke, K.$q(Karl)