Computational Aspects of an Order-Sorted Logic with Term Declarations

Manfred Schmidt-Schauß

ISBN 10: 3540517057 ISBN 13: 9783540517054
Editorial: Springer Berlin Heidelberg, 1989
Idioma: Inglés
Nuevos Condición: New Encuadernación de tapa blanda

Vendido por moluna, Greven, Alemania

Vendedor de AbeBooks desde 9 de julio de 2020

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


Nuevos - Encuadernación de tapa blanda

Condición: New

Precio: EUR 35,19 Convertir moneda
EUR 19,49 gastos de envío desde Alemania a España Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito