Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings - Ghilardi, Silvio; Sebastiani, Roberto; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
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