Book Your Summer Shop NowBook Your Summer Shop Now
Add Item to wish listAdd Item to wish list

Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

By Silvio Ghilardi (Editor), Roberto Sebastiani (Editor)
Paperback
$54.99
By Silvio Ghilardi (Editor), Roberto Sebastiani (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving ...

Categories

Science & TechnologyComputersEngineeringTechnologyRobotics & Artificial IntelligenceArtificial Intelligence (AI)Artificial Intelligence - General