Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings
Anuj Dawar, Helmut Veith (eds.)
(Lecture notes in computer science, 6247 ; Advanced research in computing and software science)
Springer, c2010
"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
Springer-Verlag
volumes 1-100 index
所蔵館8館