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 akzeptieren7th International Conference on Automated Deduction
Proceedings
- Springer New York
- 1984
- Taschenbuch
- 520 Seiten
- ISBN 9780387960227
Herausgeber: R. E. Shostak
106,99
€
inkl. MwSt.zzgl. Versand
in Kürze