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

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