Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings

Bibliographic Information

Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings

Michael Kaminski, Simone Martini (eds.)

(Lecture notes in computer science, 5213)

Springer, c2008

Search this Book/Journal
Note

Includes bibliographical references and index

"LNCS Sublibrary: SL1 - Thoretical Computer Science"--t.p. verso

Related Books: 1-1 of 1
Details
Page Top