Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)
Manfred Schmidt-Schau??
Vendido por Chiron Media, Wallingford, Reino Unido
Vendedor de AbeBooks desde 2 de agosto de 2010
Nuevos - Encuadernación de tapa blanda
Condición: Nuevo
Cantidad disponible: 10 disponibles
Añadir al carrito