Connect the Dots to Prove It: A Novel Way to Learn Proof Construction.

Mark McCartin-Lim Beverly Park Woolf Andrew McGregor

Published in: SIGCSE (2018)

Keyphrases

construction process
efficient learning
real time
machine learning
information systems
feature selection
website
web services
learning environment
search algorithm
digital libraries
artificial neural networks
complex domains
unsupervised manner