LOGIC FOR COMPUTER SCIENCE. FOUNDATIONS OF AUTOMATIC THEOREM PROVING.
- Referencia: 800095127
- Condición del libro: Normal
- ISBN: 60422254
Harper & Row. London, 1986 24 x 15 cm., 510 pag. Tapa dura sin sobrecubiertas;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1
Materias:
ahora:
13,60 €
antes
16,00 €
En stock, disponible inmediatamente
