Noch Fragen? 0800 / 33 82 637

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

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-030-29436-6 / 978-3030294366 / 9783030294366

Verlag: Springer International Publishing

Erscheinungsdatum: 20.08.2019

Seiten: 582

Herausgegeben von Pascal Fontaine

85,59 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück