Login / Signup
Rational Proofs with Multiple Provers.
Jing Chen
Samuel McCauley
Shikha Singh
Published in:
CoRR (2015)
Keyphrases
</>
theorem prover
theorem proving
artificial intelligence
decision making
metadata
three dimensional
combining multiple