The Efficiency Of Theorem Proving Strategies 2Ed (Pb)
The Efficiency Of Theorem Proving Strategies 2Ed (Pb)
Author: | Plaisted D.A. |
Publisher: | Sp Springer |
Publishing Year: | 1999 |
ISBN: | 9783528155742 |
Binding: | Paperback |
Item Weight: | 0.50 KG |
Dimensions: | 20 x 18 x 2 cm |
- SKU: 9783528155742_CBS
- Sold by CBS Books
- Contact Seller
- Availability: In Stock