A Geometric Procedure with Prover9 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ranganathan Padmanabhan, Robert Veroff. A Geometric Procedure with Prover9. In Maria Paola Bonacina, Mark E. Stickel, editors, Automated Reasoning and Mathematics - Essays in Memory of William W. McCune. Volume 7788 of Lecture Notes in Computer Science, pages 139-150, Springer, 2013. [doi]

This author has not been identified. Look up 'Ranganathan Padmanabhan' in GoogleThis author has not been identified. Look up 'Robert Veroff' in Google

runs on WebDSL