A framework for checking proofs naturally.

Published in: J. Intell. Inf. Syst. (2008)

Keyphrases

main contribution
data sets
neural network
framework enables
databases
image processing
theoretical framework