Normal Proofs and Their Grammar.

Masako Takahashi Yohji Akama Sachio Hirokawa

Published in: Inf. Comput. (1996)

Keyphrases

natural language
theorem proving
context free grammars
theorem prover
neural network
real time
context free
formal proof
formal proofs
mathematical proofs
machine learning
artificial intelligence
bayesian networks
probabilistic model
broad coverage
equational theories