Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Schmidt-Schauß, Manfred
Librería: BennettBooksLtd, North Las Vegas, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 17 de abril de 2008
Nuevos - Encuadernación de tapa blanda
Cantidad disponible: 1 disponibles
Añadir al carrito