Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings /

Bibliographic Details
Corporate Authors:	CSL 2010 Brno, Czech Republic, SpringerLink (Online service)
Other Authors:	Dawar, Anuj, Veith, Helmut
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, 2010.
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 6247. Lecture notes in computer science. Advanced research in computing and software science.
Subjects:	Computer logic > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book