Computer science logic : 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings

作者：edited by Michael Kaminski, Simone Martini.
出版社：Springer-Verlag Berlin Heidelberg
ISBN：9783540875314 (electronic bk.) ; 9783540875307 (paper)
出版日期：2008
其他作者：Martini, Simone ; Kaminski, Michael.
語言：zh
出版地：Berlin, Heidelberg :
內容簡介

xi, 512 p. ::digital ;:24 cm.

搜尋同作者