Login / Signup
Proof-Search in Hilbert Calculi.
Mauro Ferrari
Camillo Fiorentini
Guido Fiorino
Published in:
ICTCS/CILC (2017)
Keyphrases
</>
proof search
theorem prover
theorem proving
inference rules
linear logic
proof planning
search procedure
proof procedure
sequent calculus
first order logic
bayesian networks
search algorithm
evolutionary algorithm
object oriented
decision procedures