Stefan berghofer u a (1 Ergebnisse)
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Theorem Proving in Higher Order Logics | 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings | Stefan Berghofer (u. a.) | Taschenbuch | xi | Englisch | 2009 | Springer | EAN 9783642033582 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr.…17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
