Login / Signup
Proofs, proofs, proofs, and proofs
Manfred Kerber
Published in:
CoRR (2010)
Keyphrases
</>
theorem proving
equational theories
mathematical proofs
database
artificial intelligence
theorem prover
formal proofs
neural network
objective function
video sequences
support vector
decision procedures
natural deduction
information retrieval
computer vision
automated theorem proving