NASA NTRS · 19710009711
The problem of substitution
Abstract
Discussing REDUCE system and approach to substitution in design of symbolic mathematics system
Keep this discovery
Explore connections, maps & timelines
Hearn, A. C.. 1969-06-01. The problem of substitution. https://ntrs.nasa.gov/citations/19710009711
Cite the original work for its findings. Save a collection to share your selection of sources.