Login / Signup
Logical Reasoning for Higher-Order Functions with Local State
Nobuko Yoshida
Kohei Honda
Martin Berger
Published in:
CoRR (2008)
Keyphrases
</>
higher order
logical reasoning
state space
markov random field
natural images
high order
database
real world
computer vision
expert systems
artificial neural networks