Author : Wolfgang Bibel
Publisher :
ISBN 13 : 9789401704366
Total Pages : 452 pages
Book Rating : 4.68/5 ( download)
Book Synopsis Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications by : Wolfgang Bibel
Download or read book Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications written by Wolfgang Bibel and published by . This book was released on 2014-01-15 with total page 452 pages. Available in PDF, EPUB and Kindle. Book excerpt: