Login / Signup
Algebraic Proofs over Noncommutative Formulas.
Iddo Tzameret
Published in:
Electron. Colloquium Comput. Complex. (2010)
Keyphrases
</>
theorem proving
equational theories
formal proof
lower bound
theorem prover
mathematical proofs
neural network
mathematical formulas
natural deduction
predicate calculus
information retrieval
machine learning
horn clauses
decision procedures
image processing
information systems
artificial intelligence
data mining