McCune, William

“Automated Deduction – CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 – 17, 1997, Proceedings (Lecture Notes in Computer Science, 1249)” se ha añadido a tu carrito. Ver carrito

Mostrando el único resultado

Automated Deduction – CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 – 17, 1997, Proceedings (Lecture Notes in Computer Science, 1249)
Valorado con 0 de 5
$2,499.00 Añadir al carrito

Download Category Catalog