Computer Science Logic 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings /

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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Flum, Jörg. (Editor), Rodriguez-Artalejo, Mario. (Editor)
Format: SpringerLink eBooks
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.
Series:Lecture Notes in Computer Science, 1683
Online Access:


3rd Floor Main Library

Call Number: A1234.567
Copy 1 Available