Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings eBook
$99.00 Original price was: $99.00.$22.00Current price is: $22.00.
By: Silvio Ghilardi; Roberto Sebastiani
Publisher: Springer
Print ISBN: 9783642042218, 364204221X
eText ISBN: 9783642042225, 3642042228
Edition: 1st
Copyright year: 2009
eText ISBN: 9783642042225
SKU: 9783642042225
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9783642042218
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.
Be the first to review “Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9780203489802
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
eText ISBN: 9781337015783
$51.65 Original price was: $51.65.$31.82Current price is: $31.82.
-38%
Bestsellers
eText ISBN: 9781943872183
$53.32 Original price was: $53.32.$32.85Current price is: $32.85.
-38%
Bestsellers
eText ISBN: 9781423207764
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
eText ISBN: 9780735642577
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
eText ISBN: 9781119298625
$63.32 Original price was: $63.32.$39.01Current price is: $39.01.
-38%
eText ISBN: 9781337017053
$61.65 Original price was: $61.65.$37.98Current price is: $37.98.
-38%
Bestsellers
eText ISBN: 9780735637870
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
Reviews
There are no reviews yet.