Login / Signup
-Unification.
Margus Veanes
Published in:
LICS (1998)
Keyphrases
</>
higher order
theorem proving
equational theories
theorem prover
search algorithm
expert systems
graphical models
automated theorem proving