Coles

7th International Conference on Automated Deduction by R E Shostak, Paperback | Indigo Chapters

From R E Shostak

Coles

7th International Conference on Automated Deduction by R E Shostak, Paperback | Indigo Chapters

From R E Shostak

Current price: $142.95

Loading Inventory...

Size: 1.05 x 9.21 x 1.59

1.05 x 9.21 x 1.59

Add To WishlistVisit retailer's website

*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles

Product Information

Proceedings | 7th International Conference on Automated Deduction by R E Shostak, Paperback | Indigo Chapters

Product DetailsMap

Proceedings | 7th International Conference on Automated Deduction by R E Shostak, Paperback | Indigo Chapters