TY - GEN AU - Inada, N [ed.] ED - RIKEN International Symposium TI - Symbolic and algebraic computation by computers U1 - 512.140285 PY - 1985/// CY - Singapore PB - World Scientific KW - Algebra -- Data Processing -- Cong ER -