Rational Proofs with Multiple Provers.

Jing Chen Samuel McCauley Shikha Singh

Published in: ITCS (2016)

Keyphrases

theorem proving
theorem prover
decision making
wide range
mobile robot
real time
neural network
real world
data mining
preprocessing
medical images