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 akzeptieren
Sutcliffe, Geoff / André Platzer (Hrsg.). Automated Deduction ¿ CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12¿15, 2021, Proceedings. Springer International Publishing, 2021.
eng

Automated 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

in Kürze