Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings (Springer Berlin Heidelberg, 2013)
Keywords: Algorithm Analysis and Problem Complexity; Artificial Intelligence; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Software Engineering