Stefan Berghofer – författare
Visar alla böcker från författaren Stefan Berghofer. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Theorem Proving in Higher Order Logics
22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Häftad, Engelska, 2009
719 kr
Skickas inom 10-15 vardagar