NASA NTRS · 19710020633
Formal system - Technical documentation
Abstract
Input/output routines for symbolic programming with FORMAL on Univac 1108 computer
Keep this discovery
Explore connections, maps & timelines
Mesztenyi, C. K.. 1970-09-01. Formal system - Technical documentation. https://ntrs.nasa.gov/citations/19710020633
Cite the original work for its findings. Save a collection to share your selection of sources.