NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Formal system - Technical documentationInput/output routines for symbolic programming with FORMAL on Univac 1108 computer
Document ID
19710020633
Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Mesztenyi, C. K. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
August 6, 2013
Publication Date
September 1, 1970
Subject Category
Computers
Report/Patent Number
NASA-CR-119188
Report Number: NASA-CR-119188
Accession Number
71N30109
Funding Number(s)
CONTRACT_GRANT: NGL-21-002-008
CONTRACT_GRANT: JPL-952695
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available