Knowledge Representation in a Learning Environment for Euclidean Geometry
1995 ◽
pp. 109-126
◽