Stefan Berghofer – författare

Visar alla böcker från författaren Stefan Berghofer.

1 produkter

1. 

   Theorem Proving in Higher Order Logics

   22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

   Av Stefan Berghofer, Tobias Nipkow m. fl.

   Häftad, 2009

   729 kr

   Lägg i varukorg