TY - JOUR AU - A. S. Podkolzin TI - A system for the automated solution of problems in elementary algebra JO - Diskretnaya Matematika PY - 1994 SP - 35 EP - 57 VL - 6 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DM_1994_6_4_a3/ LA - ru ID - DM_1994_6_4_a3 ER -