Automated Theorem Proving
After 25 Years
Specificaties
| ISBN/EAN | 9780821850275 |
| Auteur | W. W Bledsoe |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | |
| Lengte | |
| Breedte |