Search for persons
X
?
Automated Reasoning; Lecture Notes in Computer Science ,
1
Using Automated Reasoning Techniques for Enhancing the Effi..:
, In:
?
Proceedings of the Third (2016) ACM Conference on Learning @ Scale ,
2
Predicting Students' Performance : Incremental Interacti..:
, In:
?
Proceedings of the Fourth International Conference on Learning Analytics And Knowledge ,
3