Login / Signup
Implementing CLP(IB) Using the Connection Theorem Proving Method and a Clause Management System.
Greg Sidebottom
Published in:
J. Symb. Comput. (1993)
Keyphrases
</>
theorem proving
management system
natural language
graphical models
model checking
inference rules
theorem prover
proof planning