Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings
Author(s)
Bibliographic Information
Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings
(Lecture notes in computer science, 5213)
Springer, c2008
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
"LNCS Sublibrary: SL1 - Thoretical Computer Science"--t.p. verso