Login / Signup
Planning Mathematical Proofs with Methods.
Xiaorong Huang
Manfred Kerber
Jörn Richts
Arthur Sehn
Published in:
J. Inf. Process. Cybern. (1994)
Keyphrases
</>
machine learning methods
computational cost
neural network
preprocessing
e learning
empirical studies
expert systems