Login / Signup
Unification and the new grammatism.
Stephen G. Pulman
Published in:
TINLAP (1987)
Keyphrases
</>
higher order
theorem proving
theorem prover
database
domain knowledge