Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck.

Published in: RAMiCS (2018)

Keyphrases

theorem proving
learning environment
learning process
learning systems
neural network
multimedia
expert systems
software engineering
online learning
problem based learning
hybrid learning
virtual reality technology