4464577
9780387556024
Out of Stock
The item you're looking for is currently unavailable.
Kapur, Deepak is the author of 'Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, June 15-18, 1992 Proceedings - Deepak Kapur - Paperback' with ISBN 9780387556024 and ISBN 0387556028.
[read more]