Vertel uw vrienden over dit artikel:
Automated Theorem Proving: After 25 Years - Contemporary Mathematics
Automated Theorem Proving: After 25 Years - Contemporary Mathematics
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 30 december 1984 |
| ISBN13 | 9780821850275 |
| Uitgevers | American Mathematical Society |
| Afmetingen | 252 × 171 × 14 mm · 486 g |
| Uitgever | Bledsoe, W. W |
| Uitgever | Loveland, Donald W. |
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld