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
Shostak, R. E. (Hrsg.). 7th International Conference on Automated Deduction - Proceedings. Springer New York, 1984.
eng

7th International Conference on Automated Deduction

Proceedings
  • Springer New York
  • 1984
  • Taschenbuch
  • 520 Seiten
  • ISBN 9780387960227
Herausgeber: R. E. Shostak

in Kürze