Vertel uw vrienden over dit artikel:
Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science David M. Sandford 1980 edition
Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science
David M. Sandford
242 pages, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 1 augustus 1980 |
| ISBN13 | 9783540102311 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 242 |
| Afmetingen | 155 × 233 × 13 mm · 367 g |
| Taal en grammatica | Engels |
Bekijk alles van David M. Sandford ( bijv. Paperback Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld