Automating proofs.

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