Automated Reasoning with Analytic Tableaux and Related Methods
Format: Paperback
ISBN13: 9783642405389
Paperback|9783642405389
Out of Stock
| ISBN-13 | 9783642405389 |
|---|---|
| ISBN-10 | 364240538X |
| Weight | 0.94 Pounds |
| Dimensions | 6.14 x 0.63 x 9.21 In |
| List Price | $24.99 |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | 300 pages |
| Publisher | Springer |
| Published On | 2013-08-23 |
View All Offers
Sort by:
Price
