Login / Signup
An Investigation Into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning.
Frank M. Brown
Published in:
Artif. Intell. (1980)
Keyphrases
</>
automatic theorem proving
data sets
knowledge base
knowledge representation
closely related
theorem prover
computer algebra
neural network
information retrieval
evolutionary algorithm
model based reasoning
mathematical proofs