Search alternatives:
"provers" » "proverbs", "proves", "prover"
Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Cover Image
Read Now

2
by Kropf, Thomas
Published 1995
Springer
Cover Image
Read Now

3
Published 1995
Springer Berlin Heidelberg
“...This volume presents the proceedings of the Second International Conference on Theorem Provers...”
Cover Image
Read Now

4
by Paulson, Lawrence
Published 1994
Springer
Cover Image
Read Now

5
by Paulson, Lawrence C.
Published 1994
Springer Berlin Heidelberg
“...As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include...”
Cover Image
Read Now

6
by Kennett, White
Published 1792
Printed for F. and C. Rivington, booksellers to the Society for Promoting Christian Knowledge, No 62, in St. Paul's Churdh-Yard
Cover Image
Read Now

9
Published 1998
Springer Netherlands
Table of Contents: “.... Parallel Theorem Provers Based on SETHEO -- 11. Massively Parallel Reasoning -- Four Comparision...”
Cover Image
Read Now

10
by Schumann, Johann M.
Published 2001
Springer Berlin Heidelberg
“... the potential of first-order logic automated theorem provers for applications in software engineering...”
Cover Image
Read Now

11
by Graf, Peter
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... provers -- Summary...”
Cover Image
Read Now

12
by Newborn, Monty
Published 2001
Springer New York
Table of Contents: “... theorem prover -- Using HERBY -- THEO: A resolution-refutation theorem prover -- Using THEO -- A look...”
Cover Image
Read Now

13
by Kaufmann, Matt, Manolios, Panagiotis, Moore, J Strother
Published 2000
Springer US
Table of Contents: “... The Mechanical Theorem Prover -- 9 How to Use the Theorem Prover -- 10 Theorem Prover Examples -- 11 Theorem...”
Cover Image
Read Now

14
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of Hierarchical Proofs -- Comparing Mathematical Provers -- Translating Mizar for First Order Theorem Provers...”
Cover Image
Read Now

15
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- Learning and applying generalised solutions using higher order resolution -- Specifying theorem provers...”
Cover Image
Read Now

16
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...A geometry theorem prover for macintoshes -- FRI: Failure-resistant induction in RRL -- Herky: High...”
Cover Image
Read Now

17
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... prover -- Exact knowledge compilation in predicate calculus: The partial achievement case -- Non-horn...”
Cover Image
Read Now

18
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... in the dynamic logic of recursively enumerable programs -- A prolog machine -- A prolog technology theorem prover...”
Cover Image
Read Now

19
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...A theorem prover for a computational logic -- A complete semantic back chaining proof system...”
Cover Image
Read Now

20
by Cauvain
Published 1998
Springer US
Table of Contents: “...First prover charging methods -- Indexing conveyors -- Pusher in-feed systems -- Pallet in-feed...”