Books » Related Books

Displaying 1- 4 of 4

Sort by:


1.		Automated Reasoning Essays in Honor of Woody Bledsoe ISBN: 978-94-011-3488-0 Book Format: Ebook List Price: USD $129.00 Publisher: Springer Publication Date: Dec 2012 Quantity Note

2.		Resolution Proof Systems An Algebraic Theory Author: Stachniak, Z. ISBN: 978-94-009-1677-7 Book Format: Ebook List Price: USD $199.00 Publisher: Springer Publication Date: Dec 2012 Quantity Note

3.		Automated Reasoning Essays in Honor of Woody Bledsoe ISBN: 978-0-7923-1409-7 Book Format: Hardback List Price: USD $209.00 Publisher: Springer Publication Date: Sep 1991 Quantity Note

4.		Automated Reasoning Essays in Honor of Woody Bledsoe ISBN: 978-94-010-5542-0 Book Format: Paperback List Price: AUD $237.95 Publisher: Springer Publication Date: Oct 2012 Quantity Note