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 akzeptierenTheorem Proving in Higher Order Logics
17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
- Springer Berlin Heidelberg
- 2004
- Taschenbuch
- 352 Seiten
- ISBN 9783540230175
Herausgeber: Konrad Slind / Ganesh C. Gopalakrishnan / Annette Bunker
53,49
€
inkl. MwSt.zzgl. Versand
in Kürze