Login / Signup
Satallax: An Automatic Higher-Order Prover.
Chad E. Brown
Published in:
IJCAR (2012)
Keyphrases
</>
higher order
theorem prover
theorem proving
fully automatic
semi automatic
markov random field
markov models
high order
data driven
pairwise
natural language
conditional random fields
data structure
image sequences
website
decision making
computer vision