Automated Reasoning with Analytic Tableaux and Related Methods
Format: Paperback
ISBN13: 9783540644064
Paperback|9783540644064
Out of Stock
| ISBN-13 | 9783540644064 |
|---|---|
| ISBN-10 | 3540644067 |
| List Price | $99.00 |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | x, 325 pages |
| Publisher | FisicalBook |
| Published On | 1998-04-22 |
View All Offers
Sort by:
Price
