7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings FroCoS 2009 (2009 : Trento, Italy) creator Ghilardi, Silvio editor Sebastiani, Roberto editor Electronic books (Form) xx 2009 eng 1 online resource (x, 382 pages) :|billustrations Silvio Ghilardi, Roberto Sebastiani (editors) Includes bibliographical references and index. Logic, Symbolic and mathematical Congresses Computer science Congresses Conference proceedings, published QA9.A1 9783642042225 (ebook) 9783642042218 (paperback) https://link.springer.com/book/10.1007/978-3-642-04222-5 https://link.springer.com/book/10.1007/978-3-642-04222-5 UIAM 101202 20221006163257.0 495360 eng