Frontiers of combining systems 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings - FroCOS 2009 (2009 : Trento, Italy); Ghilardi, Silvio; Sebastiani, Roberto; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Logic, Symbolic and mathematical -- Congresses; Computer science -- Congresses; Mathematical Logic and Formal Languages; Programming Techniques; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Computer Science; Software Engineering