A Support System for Solving Problems of Two-Triangle Congruence Using ‘Backward Chaining

Ryosuke ONDA  Yuki HIRAI  Kay PENNY  Bipin INDURKHYA  Keiichi KANEKO  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2017/07/07
DOI: 10.1587/transinf.2016EDP7363
Full Text: PDF(730.1KB)