Items related to Frontiers of Combining Systems

Frontiers of Combining Systems ISBN 13: 9783642042232

Frontiers of Combining Systems - Softcover

 
9783642042232: Frontiers of Combining Systems
Softcover
ISBN 10: 3642042236 ISBN 13: 9783642042232
Publisher: Springer, 2009

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2009
Language
English
ISBN 10 
3642042236
ISBN 13 
9783642042232
Binding
Paperback
Number of pages
400
Editor
Ghilardi Silvio, Sebastiani Roberto

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642042218: Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings (Lecture Notes in Computer Science, 5749)

Featured Edition

ISBN 10:  364204221X ISBN 13:  9783642042218
Publisher: Springer, 2009
Softcover