Automated Deduction – CADE 27
27th Internatonal Conference on Automated Deduction, Natal, Brazil, August 25–30, 2019, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
85,59 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Automated Deduction – CADE 27
27th Internatonal Conference on Automated Deduction, Natal, Brazil, August 25–30, 2019, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
85,59 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Frontiers of Combining Systems
9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Frontiers of Combining Systems
9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage