Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Artificial Intelligence

Frontiers of Combining Systems

7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

Editors: Ghilardi, Silvio, Sebastiani, Roberto (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-04222-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-04221-8
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (23 chapters)

Table of contents (23 chapters)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-642-04222-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-642-04221-8
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Frontiers of Combining Systems
Book Subtitle
7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
Editors
  • Silvio Ghilardi
  • Roberto Sebastiani
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
5749
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-04222-5
DOI
10.1007/978-3-642-04222-5
Softcover ISBN
978-3-642-04221-8
Edition Number
1
Number of Pages
X, 383
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.