Automated Theorem Proving : After 25 Years Paperback / softback
Edited by W. W Bledsoe, Donald W. Loveland
Part of the Contemporary Mathematics series
Paperback / softback
Information
-
Only a few left - usually despatched within 24 hours
- Format:Paperback / softback
- Publisher:American Mathematical Society
- Publication Date:30/12/1984
- Category:
- ISBN:9780821850275
Information
-
Only a few left - usually despatched within 24 hours
- Format:Paperback / softback
- Publisher:American Mathematical Society
- Publication Date:30/12/1984
- Category:
- ISBN:9780821850275