Ryosuke Onda, Yuki Hirai, Kay Penny, Bipin Indurkhya, Keiichi Kaneko. A Support System for Solving Problems of Two-Triangle Congruence Using 'Backward Chaining'. IEICE Transactions, 100-D(10):2567-2577, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.