Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings - Kaminski, Michael; Martini, Simone; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Computer science; Logic design; Artificial intelligence; Logic, Symbolic and mathematical; Computer Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs; Mathematical Logic and Foundations