Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Computer Science)
Schmidt-Schauss, M.
Vendido por WeBuyBooks, Rossendale, LANCS, Reino Unido
Vendedor de AbeBooks desde 14 de noviembre de 2005
Usado - Encuadernación de tapa blanda
Condición: Good
Cantidad disponible: 1 disponibles
Añadir al carrito