Staff View for: Computer science logic : 12th Internatio

 Staff view

You must be logged in to Tag Records

Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings /

Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.).

Book Cover
Names: Gottlob, G. | Grandjean, E. | Seyr, Katrin.
Published: Berlin ; Springer, c1999.
Series: Lecture notes in computer science, 1584
Topics: Computer logic - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


000 01183cam a22003134a 4500
001 3862944
005 20160306044633.0
008 990415s1999 gw b 101 0 eng
010 |a 99030760
015 |aGB99-39300
020 |a3540659226 (softcover : alk. paper)
035 |a(OCoLC)ocm41231621
035 |a(SICdb)1367374
040 |aDLC|cDLC|dUKM|dOCL|dC#P|dUIU|dSICdb
042 |apcc
049 |aUIUU
050 00|aQA76.9.L63|bW67 1998
082 00|a004/.01/5113|221
111 2 |aWorkshop on Computer Science Logic|n(12th :|d1998 :|cBrno, Czech Republic)
245 10|aComputer science logic :|b12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings /|cGeorg Gottlob, Etienne Grandjean, Katrin Seyr (eds.).
260 |aBerlin ;|aNew York :|bSpringer,|cc1999.
300 |ax, 429 p. ;|c24 cm.
440 0|aLecture notes in computer science,|x0302-9743 ;|v1584
504 |aIncludes bibliographical references and index.
650 0|aComputer logic|vCongresses.
700 1 |aGottlob, G.|q(Georg)
700 1 |aGrandjean, E.|q(Etienne)
700 1 |aSeyr, Katrin.
994 |a02|bUIU

Staff View for: Computer science logic : 12th Internatio