Login / Signup
Discovering applications of higher order functions through proof planning.
Andrew Cook
Andrew Ireland
Greg Michaelson
Norman Scaife
Published in:
Formal Aspects Comput. (2005)
Keyphrases
</>
higher order
proof planning
concept formation
theorem proving
building intelligent
markov random field
pairwise
theorem prover
knowledge base
pattern recognition
evolutionary algorithm