Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Schmidt-Schau??, Manfred:
Vendido por NEPO UG, Rüsselsheim am Main, Alemania
Vendedor de AbeBooks desde 15 de noviembre de 2018
Usado - Encuadernación de tapa blanda
Condición: Usado - Excelente
Cantidad disponible: 1 disponibles
Añadir al carrito