Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Schmidt-Schauß, Manfred
ISBN 10:
3540517057 ISBN 13:
9783540517054
Editorial: Springer, 1989
Idioma: Inglés
Nuevos
Condición: New
Encuadernación de tapa blanda
Vendido por Ria Christie Collections, Uxbridge, Reino Unido
Vendedor de AbeBooks desde 25 de marzo de 2015
Nuevos - Encuadernación de tapa blanda
Condición: New
Precio:
EUR 44,28
Convertir moneda
EUR 5,18
gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Añadir al carrito