Sign in
The Higher-Order Prover Leo-III.
Alexander Steen
Christoph Benzmüller
Published in:
IJCAR (2018)
Keyphrases
</>
higher order
natural images
theorem proving
high order
theorem prover
pairwise
automated theorem proving
lower order
markov models
markov random field
graphical models
conditional random fields
lambda calculus
databases
inference rules
object oriented
support vector