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

1
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

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- SN combinators and partial combinatory algebras -- Coupling saturation-based provers by exchanging...”
Cover Image
Read Now

3
Published 2009
Springer Berlin Heidelberg
“..., formalization of mathematical theories, advances in theorem prover technology, as well as industrial application...”
Cover Image
Read Now

4
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study -- Invited Talk...”