Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings - Duparc, Jacques; Henzinger, Thomas A.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
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