A Support System for Solving Problems of Two-Triangle Congruence Using ‘Backward Chaining’
['Ryosuke ONDA', 'Yuki HIRAI', 'Kay PENNY', 'Bipin INDURKHYA', 'Keiichi KANEKO']
/
IEICE Transactions in Information and Systems
/ Vol. 100
/ No. 10
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？