Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings

著者

書誌事項

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

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

注記

"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

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ