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

2
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

3
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

4
by Wu, Wen-tsün
Published 1994
Springer Vienna
Table of Contents: “... The mechanization of theorem proving in projective geometry -- 6.3 The mechanization of theorem proving in Bolyai...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Event Spaces in PVS -- Proving Equalities in a Commutative Ring Done Right in Coq -- A HOL Theory...”
Cover Image
Read Now

6
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

9
Published 2009
Springer Berlin Heidelberg
“... Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full...”
Cover Image
Read Now

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

11
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- An LPO-based termination ordering for higher-order terms without ?-abstraction -- Proving isomorphism...”
Cover Image
Read Now

14
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... -- Distributed modal theorem proving with KE -- A simple tableau system for the logic of elsewhere -- Situational...”
Cover Image
Read Now

16
Published 1995
Springer Berlin Heidelberg
“... Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers...”
Cover Image
Read Now

18
Published 1989
Springer New York
Table of Contents: “... in Interactive Theorem Proving -- 8 An Overview of the Edinburgh Logical Framework -- 9 Automating Recursive Type...”
Cover Image
Read Now

19
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...LCF examples in HOL -- A graphical tool for proving UNITY progress -- Reasoning about a class...”