Higher-Order Annotated Terms for Proof Search.

Alan Smaill Ian Green

Published in: TPHOLs (1996)

Keyphrases

higher order
proof search
markov random field
theorem prover
neural network
co occurrence
bayesian networks
pairwise
proof planning