Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptierenAutomated Deduction ¿ CADE 28
28th International Conference on Automated Deduction, Virtual Event, July 12¿15, 2021, Proceedings
- Springer International Publishing
- 2021
- Taschenbuch
- 664 Seiten
- ISBN 9783030798758
Herausgeber: Geoff Sutcliffe / André Platzer
42,79
€
inkl. MwSt.zzgl. Versand
in Kürze