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