Title: Symbolic computation and education
Subjects: Computable functions, Computer-assisted instruction, Congresses, Data processing, Logic, Symbolic and mathematical, Mathematics, Symbolic and mathematical Logic, Education, philosophy, Curriculum planning, Education, data processing, Machine theory, Automatic theorem proving, Mathematics, study and teaching