Original price was: $54.99.$24.99Current price is: $24.99.
Access Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings 1st Edition Now. Discount up to 90%
| Full Title | Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings 1st Edition |
|---|---|
| Author(s) | Silvio Ghilardi, Roberto Sebastiani |
| Edition | 1st Edition |
| ISBN | 9783642042225, 9783642042218 |
| Publisher | Springer |
| Format | PDF and EPUB |
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 systems.
Book Instantly Available.
Safe Payment with PayPal and Stripe
24/7 Customer Service
