Automated Theorem Proving
€89.90
Product Information
| ISBN | 9780821850275 |
|---|---|
| Publisher | American Mathematical Society |
| Price (excl. tax) | €84.81 |
| Tax | €5.09 |
| Price (incl. tax) | €89.90 |
| Availability | Unavailable |
Product Description
171 x 252 x 14
€89.90
| ISBN | 9780821850275 |
|---|---|
| Publisher | American Mathematical Society |
| Price (excl. tax) | €84.81 |
| Tax | €5.09 |
| Price (incl. tax) | €89.90 |
| Availability | Unavailable |
171 x 252 x 14