Cover is for reference only

Computer science logic：19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August, 22-25, 2005 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: Workshop on Computer Science Logic (19th 2005 Oxford, England); European Association for Computer Science Logic. Conference 2005 Oxford, England); LINK (Online service)
Group Author: Ong Luke.
Published: Springer,
Publisher Address: Berlin
Publication Dates: 2005.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3634
Subjects:
Computer logic.
Online Access: http://dx.doi.org/10.1007/11538363
Publication Frequency: Print version also available.
Index Number: TP301
CLC: TP301-532
Contents: Title from title screen (viewed September 13, 2005)
Electronic book available via Springer Link.
Print version originally published in 2005.
Access restricted to subscribing institutions.

Related Book Recommendations