Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
Published 2011
Springer Berlin Heidelberg
“... on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised...”
Cover Image
Read Now

2
by Plaisted, David A., Zhu, Yunshan
Published 1999
Vieweg+Teubner Verlag
“... by many common theorem proving strategies. Thus it permits one to gain a theoretical unterstanding...”
Cover Image
Read Now

3
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... to higher order logic programming -- Human-style theorem proving using PVS -- A hybrid approach to verifying...”
Cover Image
Read Now

8
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Regular Papers -- Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction...”
Cover Image
Read Now

11
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Source-Level Proof Reconstruction for Interactive Theorem Proving -- Proof Pearl: The Power of Higher...”