A Many-Sorted Calculus Based on Resolution and Paramodulation

Walther, Christoph

ISBN 10: 0273087185 ISBN 13: 9780273087182
Editorial: Morgan Kaufmann, 1987
Idioma: Inglés
Condición: Usado - Bueno Encuadernación de tapa blanda

Vendido por Southampton Books, Sag Harbor, NY, Estados Unidos de America

Vendedor de AbeBooks desde 1 de agosto de 2012

Calificación del vendedor: 5 de 5 estrellas Valoración 5 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: Usado - Bueno

Precio:
EUR 32,04
Envío por EUR 4,43
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito