Title: Computer science logic
Subtitle: 22nd International Workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings
First published: 2008
Subjects: Computer logic, Congresses, Logic, symbolic and mathematical
LC classification: QA76.9.L63 C78 2008