Jens Brandt - Böcker

Visar alla böcker från författaren Jens Brandt.

1 produkt

Kategorier

1 produkt

Theorem Proving in Higher Order Logics

20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Av Klaus Schneider, Jens Brandt

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar