Automated Theorem Proving
After 25 Years
W W Bledsoe editor Donald W Loveland editor
Format:Paperback
Publisher:American Mathematical Society
Published:30th Dec '84
Should be back in stock very soon
This non-fiction paperback, "Automated Theorem Proving" from W W Bledsoe & Donald W Loveland, was published 30th December 1984 by American Mathematical Society.
ISBN: 9780821850275
Dimensions: unknown
Weight: 510g