Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 59,18
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings. Book.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 84,88
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Logical Foundations of Computer Science: Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings. Book.