@article{陈良育_2239, author = {[陈良育, 符红光, 曾振柄, 张骏]}, title = {基于AJAX和自动推理技术构建交互式数学Web服务}, publisher = {《计算机应用》唯一官方网站}, year = {2007}, journal = {计算机应用}, volume = {27}, number = {9}, eid = {2239}, pages = {2239-2241}, keywords = {AJAX;Web Service;自动推理;数学辅助学习;MathML}, url = http://www.joca.cn/CN/abstract/article_9170.shtml }