Login / Signup
The use of CAI to enhance human interaction in the learning of deductive proof construction.
Marvin J. Croy
Published in:
Comput. Humanit. (1988)
Keyphrases
</>
human interaction
computer assisted instruction
learning process
human computer interaction
learning algorithm
learning tasks
web based learning
reinforcement learning
learning systems
learning community
supervised learning
mobile learning
theorem proving
physical environment