Ryosuke Onda

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Backward Chaining

Solving Problems

Top Venues

IEICE Trans. Inf. Syst.

Publications

Ryosuke Onda, Yuki Hirai, Kay Penny, Bipin Indurkhya, Keiichi Kaneko
A Support System for Solving Problems of Two-Triangle Congruence Using 'Backward Chaining'. IEICE Trans. Inf. Syst. (10) (2017)