The Higher-Order Prover Leo-II.

Christoph Benzmüller Nik Sultana Lawrence C. Paulson Frank Theiss

Published in: J. Autom. Reason. (2015)

Keyphrases

higher order
natural images
high order
theorem proving
markov models
low order
pairwise
conditional random fields
markov random field
graph cuts
multiscale
search engine
relational databases
digital libraries
theorem prover
feature selection
information systems