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

1
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

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

4
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

5
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

6
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

7
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

8
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

9
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... for recursive type definitions for HOL -- Some theorems we should prove -- Using PVS to prove some theorems...”
Cover Image
Read Now

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

11
by Snyers, Dominique, Thayse, Andre
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars...”
Cover Image
Read Now

12
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving -- Solving Geometric...”
Cover Image
Read Now

13
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...Interactive theorem proving and computer algebra -- A practical algorithm for geometric theorem...”
Cover Image
Read Now

14
by Ohlebusch, Enno
Published 2002
Springer New York
Table of Contents: “... -- 10 Proving Termination of Logic Programs -- A Kruskal’s Theorem -- A.l Partial Well-Orderings -- A.2...”
Cover Image
Read Now

15
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... for efficient normalization of nonlinear rewrite systems -- On fairness of completion-based theorem proving...”
Cover Image
Read Now

16
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Constraint Solving -- Constraints and Theorem Proving -- Functional and Constraint Logic Programming...”
Cover Image
Read Now

17
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... functions: Characterizations, minimization, examples -- Past proves more invariance properties but not pca...”
Cover Image
Read Now

18
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Problem-oriented applications of automated theorem proving -- ?IT — A strongly-typed embeddable...”
Cover Image
Read Now

19
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... -- Automatic program transformation viewed as theorem proving -- An enlarged definition and complete...”
Cover Image
Read Now

20
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- Surjectivity for finite sets of combinators by weak reduction -- Proving finite satisfiability of deductive...”