Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A

by Wolfgang Bibel

Book Overview

The nationwide research project Deduktion', funded by the Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 9048150515
• ISBN13: 9789048150519
• Release Date: December 2010
• Publisher: Springer
• Length: 434 Pages
• Weight: 1.38 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"