DMCA

Development of a Learning System for Proving the Congruence of Two Triangles by Supporting 'Backward Chaining' (2014)

Cached

Download Links

by Ryosuke Onda , Yuki Hirai , Keiichi Kaneko