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
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.
Series:Lecture Notes in Computer Science, 1683
Subjects:
Online Access:http://dx.doi.org/10.1007/3-540-48168-0

Internet

http://dx.doi.org/10.1007/3-540-48168-0

3rd Floor Main Library

Call Number: A1234.567
Copy 1 Available