Frontiers of combining systems
Subtitle: 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings
By: Silvio Ghilardi, Roberto Sebastiani (eds.).
Contributors: Ghilardi, Silvio; Sebastiani, R. (Roberto)
Series: Lecture notes in artificial intelligence. Subseries of lecture notes in computer science -- 5749
Publisher: Springer
Published: 2009
Place of publication: Berlin; New York
Language: eng
Number of pages: 382
ISBN-13: 9783642042218
Subjects: Informatik; Symbolic and mathematical Logic; Problemlösen; Künstliche Intelligenz; Automatisches Beweisverfahren; Congresses; Computer science; Logik; Programmierlogik
Notes: Includes bibliographical references and index.

Also issued online.