Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings /

"The Annual Conference of the European Association for Computer Science Logic (EACSL), CSL 2005, was held at the University of Oxford on 22 -25 August 2005."

Corporate Authors: Workshop on Computer Science Logic Oxford, England)
Other Authors: Workshop on Computer Science Logic, European Association for Computer Science Logic. Conference
Format: eBook
Language: English
Published: Berlin ; New York : Springer, 2005.
Berlin ; New York : 2005.
Physical Description: 1 online resource (xi, 565 pages) : illustrations.
Series: Lecture notes in computer science ; 3634.
Subjects:

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available