Login / Signup
Equational Prover of THEOREMA.
Temur Kutsia
Published in:
RTA (2003)
Keyphrases
</>
theorem proving
theorem prover
first order logic
automated theorem proving
inference rules
equational theories
proof search
artificial intelligence
computer vision
optimal solution
relational databases
prior knowledge