Login / Signup
Using Difference Reduction for Generic Proof Search.
Santiago Negrete
Published in:
Computación y Sistemas (1999)
Keyphrases
</>
proof search
theorem prover
theorem proving
proof planning
inference rules
linear logic
search procedure
proof procedure
high level
bayesian networks