Items related to Automated Reasoning with Analytic Tableaux and Related...

Automated Reasoning with Analytic Tableaux and Related Methods - Softcover

 
9783642027178: Automated Reasoning with Analytic Tableaux and Related Methods
Softcover
ISBN 10: 3642027172 ISBN 13: 9783642027178
Publisher: Springer, 2009

This specific ISBN edition is currently not available.

Synopsis

This book constitutes the refereed proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009, held in Oslo, Norway, in July 2009. The 21 revised research papers presented together with 1 system description and 2 invited talks were carefully reviewed and selected from 44 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods in areas such as hardware and software verfications, semantic technologies, and knowledge engineering.

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

Publisher
Springer
Publication date
2009
Language
English
ISBN 10 
3642027172
ISBN 13 
9783642027178
Binding
Paperback
Number of pages
360
Editor
Giese Martin, Waaler Arild

(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

9783540289319: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings (Lecture Notes in Computer Science, 3702)

Featured Edition

ISBN 10:  3540289313 ISBN 13:  9783540289319
Publisher: Springer, 2005
Softcover