Login / Signup
Improving the time efficiency of proving theorems using a learning mechanism.
Ahmed Almonayyes
Hazem M. Raafat
Mohammed Almulla
Rana'a Alharshani
Published in:
Int. J. Comput. Math. (2001)
Keyphrases
</>
learning mechanism
learning process
learned knowledge
learning capabilities
learning rules
database
real time
databases
data mining
neural network
machine learning
artificial intelligence
scheduling problem
human computer interaction
learning mechanisms