00910cam a2200217 a 450000500170000000800410001702000150005803500150007305000250008811100830011324502050019624600120040124600100041326000300042330000110045344000500046465000310051470000280054570000240057371100950059720260818084624.0090714s1997    gw      r     100|0 eng d  a3540631720  a.b1168553000aQA76.9 L63bW67 19962 aWorkshop on Computer Science Logicn(10th :d1996 :cUtrecht, The Netherlands)10aComputer science logic :b10th international workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers /cDirk van Dalen and Marc Bezem, eds.30aCSL '9630aEACSL  aBerlin :bSpringer,c1997  a471 p. 0aLecture notes in computer science ;vno. 1258 0aComputer logicvCongresses1 aDalen, Dirk van,d1932-1 aBezem, Marc,d1956-2 aEuropean Association for Computer Science Logicn(5th :d1996 :cUtrecht, The Netherlands)