Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Schmidt-Schau?, Manfred
Vendido por GoldBooks, Denver, CO, Estados Unidos de America
Vendedor de AbeBooks desde 15 de mayo de 2019
Nuevos - Encuadernación de tapa blanda
Condición: Nuevo
Cantidad disponible: 1 disponibles
Añadir al carrito