Login / Signup
Rewrite Method for Theorem Proving in First Order Theory with Equality.
Jieh Hsiang
Published in:
J. Symb. Comput. (1987)
Keyphrases
</>
theorem proving
first order logic
automatic programming
automated reasoning
consequence finding