@dblp

Debate-Based Learning Game for Constructing Mathematical Proofs.

, , and . ECSQARU, volume 10369 of Lecture Notes in Computer Science, page 36-45. Springer, (2017)

Links and resources

Tags