More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

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.)

Buy this book

eBook 59,49 €
price for Spain (gross)
  • 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 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-29051-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (19 chapters)

  • A Comprehensive Framework for Combined Decision Procedures

    Ghilardi, Silvio (et al.)

    Pages 1-30

    Preview Buy Chapter 30,19 €
  • Connecting Many-Sorted Structures and Theories Through Adjoint Functions

    Baader, Franz (et al.)

    Pages 31-47

    Preview Buy Chapter 30,19 €
  • Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic

    Ranise, Silvio (et al.)

    Pages 48-64

    Preview Buy Chapter 30,19 €
  • On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal

    Armando, Alessandro (et al.)

    Pages 65-80

    Preview Buy Chapter 30,19 €
  • Sociable Interfaces

    Alfaro, Luca (et al.)

    Pages 81-105

    Preview Buy Chapter 30,19 €

Buy this book

eBook 59,49 €
price for Spain (gross)
  • 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 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-29051-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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