Automated Reasoning With Analytic Tableaux And Related Methods

International Conference, Tableaux 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Editor: BernhardBeckert

Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2005
Paperback, 356 pages
Size: 235x155 mm
ISBN: 9783540289319
ISBN-10: 3540289313

Our price: £44.93

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Automated Reasoning With Analytic Tableaux And Related Methods

Constitutes the proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. This book focuses on various aspects of the mechanization of reasoning with tableaux and related methods. It emphasises on applications in areas such as hardware and software verification, and knowledge engineering.

Related links:

Bernhard Beckert
Knowledge-based systems / expert systems
Artificial intelligence
Applications of computing
Computing and information technology
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg

More information from Wikipedia:

Bernhard Beckert
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Shorthand & speedwriting

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |