Computer Science Logic: 12th International Workshop, Csl'98, Annual Conference of the Eacsl, Brno, Czech Republic, August 24-28, 1998, Proceed

by Katrin Seyr

The 1998Annual Conference of the EuropeanAssociation for Computer Science Logic, CSL'98, was held in Brno, Czech Republic, during August 24-28, 1998. CSL'98wasthe12thinaseriesofworkshopsandthe7thtobeheldasthe Annual Conference of the EACSL. The conference was organized at Masaryk University in Brno by the Faculty of Informatics in cooperation with universities in Aaachen, Caen, Haagen, Linz, Metz, Pisa, Szeged, Vienna, and other institutions. CSL'98...

• Format: Paperback
• Language: English
• ISBN: 3540659226
• ISBN13: 9783540659228
• Release Date: April 1999
• Publisher: Springer
• Length: 442 Pages
• Weight: 1.38 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"