Tell your friends about this item:
Automated Theorem Proving Donald W. Loveland-W. W Bledsoe
Do you have a profile? Log in
Get notified about new Donald W. Loveland-W. W Bledsoe releases
Our customers say:
Add to your iMusic wish list
Automated Theorem Proving
Donald W. Loveland-W. W Bledsoe
| Media | Books Book |
| Released | December 30, 1984 |
| ISBN13 | 9780821850275 |
| Publishers | American Mathematical Society |
| Dimensions | 252 × 171 × 14 mm · 486 g |
| Editor | Bledsoe, W. W |
| Editor | Loveland, Donald W. |
![Cover for Alex Kasman · Glimpses of Soliton Theory: The Algebra and Geometry of Nonlinear PDEs - Student Mathematical Library (Paperback Book) [Second edition] (2023)](https://imusic.b-cdn.net/images/item/original/627/9781470472627.jpg?alex-kasman-2023-glimpses-of-soliton-theory-the-algebra-and-geometry-of-nonlinear-pdes-student-mathematical-library-paperback-book&class=scaled&v=1741190549)
