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

5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings

Editors: Gramlich, Bernhard (Ed.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-540-31730-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-29051-3
  • Free shipping for individuals worldwide. COVID-19 shipping restrictions apply.
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be dispatched within 3 to 5 business days.

Table of contents (19 chapters)

Table of contents (19 chapters)
  • A Comprehensive Framework for Combined Decision Procedures

    Pages 1-30

    Ghilardi, Silvio (et al.)

  • Connecting Many-Sorted Structures and Theories Through Adjoint Functions

    Pages 31-47

    Baader, Franz (et al.)

  • Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic

    Pages 48-64

    Ranise, Silvio (et al.)

  • On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal

    Pages 65-80

    Armando, Alessandro (et al.)

  • Sociable Interfaces

    Pages 81-105

    Alfaro, Luca (et al.)

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-540-31730-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-29051-3
  • Free shipping for individuals worldwide. COVID-19 shipping restrictions apply.
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Frontiers of Combining Systems
Book Subtitle
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
Editors
  • Bernhard Gramlich
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
3717
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31730-2
DOI
10.1007/11559306
Softcover ISBN
978-3-540-29051-3
Edition Number
1
Number of Pages
X, 321
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 and instructor copies are not included.