MPG.eBooks - Search Results - "proving"

Search alternatives:
"proving" » "providing", "improving", "province"

Cover Image

1

Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... -- Source-Level Proof Reconstruction for Interactive Theorem Proving -- Proof Pearl: The Power of Higher...”