Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings - Workshop on Computer Science Logic 2008 (2008 : Bertinoro, Italy); Martini, Simone, Prof.; Kaminski, Michael; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Computer science -- Mathematics -- Congresses; Computer logic -- Congresses; Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations