Search alternatives:
"prover" » "proven", "proved", "grover"
"proves" » "proven", "proved", "improves"
Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
“... of the irrationality of the square root of two from scientists using various theorem proving systems. The 17 systems...”
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
Table of Contents: “... of refinement -- Effective theorem proving for hardware verification -- A formal framework for high level...”
Cover Image
Read Now

6
by Wilbye, John
Published 1848
Alexander Street Press Musical Antiquarian Society Publications
Cover Image
Read Now

7
by Wesley, John
Published 1771
Cover Image
Read Now

8
Published 1718
printed for James Roberts near the Oxford Arms in Warwick-Lane
Cover Image
Read Now

9
by Stair, John Dalrymple
Published 1783
printed for J. Stockdale, opposite Burlington-House, Piccadilly
Cover Image
Read Now

10
by Stair, John Dalrymple
Published 1783
printed for J. Stockdale, opposite Burlington-House, Piccadilly
Cover Image
Read Now

11
by Swift, Jonathan
Published 1717
printed for Timothy Atkins, in the Strand
Cover Image
Read Now

12
by Burford, John
Published 1727
Cover Image
Read Now

13
by Zeisel, Hans, Kaye, David
Published 1997
Springer New York
“..."Prove It With Figures" displays some of the tools of the social and statistical sciences that have...”
Cover Image
Read Now

15
by Newborn, Monty
Published 2001
Springer New York
Table of Contents: “... and theorems -- COMPILE: transforming well-formed formulas to clauses -- Inference procedures -- Proving...”
Cover Image
Read Now

16
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... in Coq -- Towards Provably Robust Watermarking -- Priority Inheritance Protocol Proved Correct...”
Cover Image
Read Now

17
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Multiprocessing for Interactive Theorem Proving -- A Parallelized Theorem Prover for a Logic with Parallel...”
Cover Image
Read Now

18
Published 2014
Springer International Publishing
Table of Contents: “... Language -- Proof Pearl: Proving a Simple Von Neumann Machine Turing Complete -- The Reflective Milawa...”
Cover Image
Read Now

19
by Cockburn, William
Published 1726
printed for the author