Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings
Author(s)
Bibliographic Information
Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings
（Lecture notes in computer science, 6247 ; Advanced research in computing and software science）
Springer, c2010
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Note
"The annual conference of the European Association for Computer Science Logic(EACSL), CSL 2010, was held in Brno (Czech Republic), August 23-27, 2010. The conference started as a series of international warkshops on Computer Science Logic, and then at its sixth meeting became the Annual Conference of the EACSL. This conference was the 24th meeting and 19th EACSL conference; it was organized at the Faculty of Informations, Masaryk University, Brno." --prif
