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

Author：edited by Michael Kaminski, Simone Martini.
Publisher：Springer-Verlag Berlin Heidelberg
ISBN：9783540875314 (electronic bk.) ; 9783540875307 (paper)
Publication Date：2008
其他作者：Martini, Simone ; Kaminski, Michael.
語言：zh
出版地：Berlin, Heidelberg :
Description

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

Search Same Author