LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. 446: TERMINATION PROOFS FOR LOGIC PROGRAMS.

PLUMER Lutz.

ISBN 10: 0387528377 ISBN 13: 9780387528373
Editorial: Springer-Verlag, 1990
Idioma: Inglés
Condición: Usado Encuadernación de tapa blanda

Vendido por Libros Ambigú, Madrid, M, España

Vendedor de AbeBooks desde 4 de septiembre de 2014

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Usado - Encuadernación de tapa blanda

Condición: Normal

Precio:
EUR 4,20
Envío por EUR 31,00
Se envía de España a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito