The problem of substitution
Discussing REDUCE system and approach to substitution in design of symbolic mathematics system
Hearn, A. C.↗
Engineering topics
Hearn, A. C.
Publications and source records attributed to Hearn, A. C..
Engineering topics
Publications and source records attributed to Hearn, A. C..
Discussing REDUCE system and approach to substitution in design of symbolic mathematics system