NASA NTRS · 19710006531
FORMAL - A formula manipulation language
Abstract
FORMAL programming system with language capability for performing symbolic algebraic manipulations
Keep this discovery
Explore connections, maps & timelines
Mesztenyi, C. K.. 1970-09-01. FORMAL - A formula manipulation language. https://ntrs.nasa.gov/citations/19710006531
Cite the original work for its findings. Save a collection to share your selection of sources.