Symbolic Computation And Education - Shangzhi Li-Dongming Wang-Jing-zhong Zhang (World Scientific, 2007)
Keywords: Computers & Technology; Computable functions--Data processing--Congresses.,Logic, Symbolic and mathematical--Congresses.,Mathematics--Computer-assisted instruction--Congresses.; EDUCATION