BibTeX Export

@inproceedings{Authenticus:P-004-P5X,
	title = {{Designing a solver for arithmetic constraints to support education in mathematics}},
	author = {AP Tomas and N Moreira and N Pereira},
	booktitle = {Artificial Intelligence Applications and Innovations},
	doi = {10.1007/0-387-34224-9_50},
	pages = {433-441},
	publisher = {Springer},
	type = {Proceedings Paper},
	volume = {204},
	year = {2006}
}