Computer science logic : 20th international workshop, CSL 2006 : 15th annual conference of the EACSL : Szeged, Hungary, September 25-29, 2006 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2006, Szeged, Hungary.
(Lecture Notes in Computer Science ; 4207)
国立国会図書館請求記号
M17-07-221
国立国会図書館書誌ID
000008403489
資料種別
図書
著者
University of Szeged. Department of Computer Science.ほか