Workshop on Computer Science Logic 2008 ((2008 :)
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings /
by:
Workshop on Computer Science Logic 2008 ((2008 :); SpringerLink (Online service); Martini, Simone, (Prof.); Kaminski, Michael.
(書目-語言資料,印刷品)