Login / Signup
A Comparative Study of Several Proof Procedures.
Wolfgang Bibel
Published in:
Artif. Intell. (1982)
Keyphrases
</>
proof procedures
inference rules
proof procedure
winning strategy
theorem proving
first order logic
knowledge base
propositional logic
modal logic
horn clauses