Login / Signup
The Problem of Demodulation During Inference Rule Application.
Larry Wos
Published in:
J. Autom. Reason. (1992)
Keyphrases
</>
inference rules
learning algorithm
theorem prover
theorem proving