Title: Frontiers Of Combining Systems 8th International Symposium Frocos 2011 Saarbrucken Germany October 57 2011
Subjects: Logic design, Software engineering, Computer science, Artificial intelligence, Computer software, Symbolic and mathematical Logic, Congresses, Logic, symbolic and mathematical, Programming Techniques, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics)