The Efficiency of Theorem Proving Strategies

The Efficiency of Theorem Proving Strategies
Author :
Publisher :
Total Pages : 184
Release :
ISBN-10 : 3663078485
ISBN-13 : 9783663078487
Rating : 4/5 (487 Downloads)

Book Synopsis The Efficiency of Theorem Proving Strategies by : David A. Plaisted

Download or read book The Efficiency of Theorem Proving Strategies written by David A. Plaisted and published by . This book was released on 2014-01-15 with total page 184 pages. Available in PDF, EPUB and Kindle. Book excerpt:


The Efficiency of Theorem Proving Strategies Related Books