Login / Signup
Automating proofs.
Chris Edwards
Published in:
Commun. ACM (2016)
Keyphrases
</>
theorem prover
theorem proving
decision procedures
information retrieval
similarity measure
information technology
logic programs
neural network
data mining
multi agent
formal proofs
equational theories