Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics.

Published in: CICM Workshops (2019)

Keyphrases

university level
computer science
user interface
computer assisted
university courses
user preferences
user model
user satisfaction
recommender systems
user interaction
user profiles
user queries
user experience
video games