Stefan Berghofer – författare

Visar alla böcker från författaren Stefan Berghofer. Handla med fri frakt och snabb leverans.

2 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

   568 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were …

2. 

   Theorem Proving in Higher Order Logics

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

   Av Makarius Wenzel, Christian Urban m. fl.

   E-bok, 2009

   734 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were …