Pastāsti draugiem par šo preci:
Automated Theorem Proving Donald W. Loveland-W. W Bledsoe
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Donald W. Loveland-W. W Bledsoe izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Automated Theorem Proving
Donald W. Loveland-W. W Bledsoe
| Mediji | Grāmatas Book |
| Izlaists | 1984. gada 30. decembris |
| ISBN13 | 9780821850275 |
| Izdevēji | American Mathematical Society |
| Izmēri | 252 × 171 × 14 mm · 486 g |
| Redaktors | Bledsoe, W. W |
| Redaktors | Loveland, Donald W. |
![Cover for Ethan D. Bolker · Common Sense Mathematics - AMS / MAA Textbooks (Paperback Book) [Third edition] (2026)](https://imusic.b-cdn.net/images/item/original/934/9781470484934.jpg?ethan-d-bolker-2026-common-sense-mathematics-ams-maa-textbooks-paperback-book&class=scaled&v=1787581922)
![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)
