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

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Symbolic computation and teaching -- Analytica — An experiment in combining theorem proving...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Inference System and Its Rationality -- Semantic Guidance for Saturation Provers -- Contributed Papers...”