Return to Conference Proceedings Submission Details Analysis of CSCL for Mathematical Proof Based on the Log Data of Learners’ Verbal and Nonverbal Communications Download Download PDF