4 ms·Recursive Functions of Symbolic Expressions and Their Computation by Machine6 points by llambda 15y ago