Jens Brandt – författare
Visar alla böcker från författaren Jens Brandt.
1 produkt
1 produkt
Theorem Proving in Higher Order Logics
20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Häftad, Engelska, 2007
719 kr
Skickas inom 10-15 vardagar