Designing a solver for arithmetic constraints to support education in mathematics
Artificial Intelligence Applications and Innovations | 2006 | inproceedings
Publication
Year of publication: 2006
Volume : 204
Pages : 433-441
Month :
CMUP publication : Yes
Authors
