Computer science logic : 22nd international workshop, CSL 2008 : 17th annual conference of the EACSL : Bertinoro, Italy, September 16-19, 2008 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2008, Bertinoro, Italy.
(Lecture Notes in Computer Science ; 5213)
国立国会図書館請求記号
M17-09-314
国立国会図書館書誌ID
000009920571
資料種別
図書
著者
University of Bologna. Department of Computer Science.ほか