AUTOMATIC PROGRAMMING. VOLUME 7 PART 4. AUTOMATIC THEOREM PROVING BASED ON RESOLUTION.

Pirotte A.

Referencia: 800093754

Pergamon Press. London, 1973 25 x 17,5 cm., 266 pag. Tapa blanda; buen estado de conservacion. FILOSOFIA-PENSAMIENTO . Ejemplares disponibles: 1