Computer Science Logic: 13th International Workshop, Csl'99, 8th Annual Conference of the Eacsl, Madrid, Spain, September 20-25, 1999, Proceed

by Jörg Flum

Book Overview

The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999. CSL'99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid...

• Format: Paperback
• Language: English
• ISBN: 3540665366
• ISBN13: 9783540665366
• Release Date: September 1999
• Publisher: Springer
• Length: 588 Pages
• Weight: 1.83 lbs.
• Dimensions: 1.2" x 6.1" x 9.2"