Login / Signup
Realization of a geometry theorem proving machine.
Herbert L. Gelernter
Published in:
IFIP Congress (1959)
Keyphrases
</>
geometry theorem proving
theorem proving
cooperative
batch processing
databases
neural network
artificial neural networks