Automated Deduction - Cade-13
13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Automated Deduction - Cade-13
13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage