Bo-Yu Chan

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Wing-Kwong Wong, Bo-Yu Chan, Sheng-Kai Yin
A Dynamic Geometry Environment for Learning Theorem Proving. ICALT (2005)