Old Web
English
Sign In
Acemap
>
Paper
>
A support system for solving problems of two-triangle congruence using "backward chaining"
A support system for solving problems of two-triangle congruence using "backward chaining"
2017
Ryosuke Onda
Yuki Hirai
Kay I Penny
Bipin Indurkhya
Keiichi Kaneko
Keywords:
Computer science
Forward chaining
Backward chaining
Discrete mathematics
Congruence (geometry)
support system
Mathematical optimization
Artificial intelligence
Theoretical computer science
Pattern recognition
secondary education
Correction
Source
Cite
Save
Machine Reading By IdeaReader
15
References
1
Citations
NaN
KQI
[]