Login / Signup
Transitioning to Proof.
Diane Resek
Dan Fendel
Published in:
CoRR (2015)
Keyphrases
</>
theorem prover
theorem proving
automated theorem proving
information retrieval
e learning
data streams
mobile devices
linear logic
logical rules