DMCA

Development of a Learning System for Proving the Congruence of Two Triangles by Supporting

Cached

Download Links

by Backward Chaining , Ryosuke Onda , Yuki Hirai , Keiichi Kaneko