Date of Award | 28 Feb 2023 |
---|---|
Original language | English |
Supervisor | Rianne Conijn (Supervisor 1) & Jim W. Portegies (Supervisor 2) |
Improving the user experience of an Intelligent Tutoring System for proving mathematical statements
Student thesis: Master