LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. 446: TERMINATION PROOFS FOR LOGIC PROGRAMS.
- Referencia: 800010980
- Condición del libro: Normal
- ISBN: 387528377
Springer-Verlag. Germany, 1990 24 x 15,5 cm., 142 pag. Tapa blanda;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1
Materias:
ahora:
5,10 €
antes
6,00 €
En stock, disponible inmediatamente
