Login / Signup
Some Thoughts on Proof Discovery.
W. W. Bledsoe
Published in:
SLP (1986)
Keyphrases
</>
knowledge discovery
discovery process
data mining
neural network
data sets
scientific discovery
natural deduction
mathematical proofs
information technology
artificial neural networks
multiresolution
knowledge representation
theorem proving
automated theorem proving
automatically discovering