Search alternatives:
"prover" » "proven", "proved", "proves"
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
by Paulson, Lawrence
Published 1994
Springer
Cover Image
Read Now

4
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

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

8
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 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

10
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

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

12
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

13
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

14
by Leszak, Marek, Eggert, Horst
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... Description Language) -- 9.1 In PROVER realisierte PDL -- 9.2 Entwurf einer erweiterten PDL -- 10 Anhang C...”
Cover Image
Read Now

15
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic -- Nonclassical Logics...”
Cover Image
Read Now

16
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... and chaining in a resolution-based prover for inequalities -- Decision procedures for some fragments of set...”
Cover Image
Read Now

17
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

18
Published 1988
Springer Berlin Heidelberg
“..., the prover, attempts to convince another user, the verifier, that a given input x is in L. We assume...”
Cover Image
Read Now

19
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System...”
Cover Image
Read Now

20
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...MGTP: A model generation theorem prover — Its advanced features and applications — -- Three faces...”