Login / Signup
Towards Smart Proof Search for Isabelle.
Yutaka Nagashima
Published in:
CoRR (2017)
Keyphrases
</>
theorem prover
proof search
proof planning
theorem proving
automated reasoning
first order logic
inference rules
cut elimination
natural deduction
formal semantics
linear logic
wide class
expert systems
machine learning
predicate calculus
search procedure
graphical models
genetic algorithm