Skip to content

Diagramming Mathematical Proofs Based on Logical Structures for Learners.

Takayuki Watabe, Yoshinori Miyazaki

Year2014
ProceedingsHCI (27)

Browse the full HCI paper archive.