Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings - Tinelli, Cesare; Sofronie-Stokkermans, Viorica; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Computer software; Logic design; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity; Programming Techniques