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