Computer science logic : 22st international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings /

Bibliographic Details
Corporate Authors:	CSL 2008 Bertinoro, Italy, European Association for Computer Science Logic, SpringerLink (Online service)
Other Authors:	Kaminski, Michael, Martini, Simone
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2008]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 5213.
Subjects:	Computer logic > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online