AUTOMATIC PROGRAMMING. VOLUME 7 PART 4. AUTOMATIC THEOREM PROVING BASED ON RESOLUTION.
- Referencia: 800093754
- Condición del libro: Normal
Pergamon Press. London, 1973 25 x 17,5 cm., 266 pag. Tapa blanda; buen estado de conservacion. FILOSOFIA-PENSAMIENTO . Ejemplares disponibles: 1
Materias:
ahora:
10,20 €
antes
12,00 €
En stock, disponible inmediatamente
