NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
The problem of substitutionDiscussing REDUCE system and approach to substitution in design of symbolic mathematics system
Document ID
19710009711
Acquisition Source
Legacy CDMS
Document Type
Other
Authors
Hearn, A. C. (Stanford Univ. CA, United States)
Date Acquired
August 6, 2013
Publication Date
June 1, 1969
Publication Information
Publication: IBM PROC. OF THE 1968 SUMMER INST. ON SYMBOLIC MATHEMATICAL COMPUTATION JUN. 1969
Subject Category
Mathematics
Accession Number
71N19186
Funding Number(s)
CONTRACT_GRANT: ARPA SD-183
CONTRACT_GRANT: F44620-68-C-0075
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

There are no available downloads for this record.

Related Records

IDRelationTitleCollected Works19710009710Collected WorksProceedings of the 1968 Summer Institute on Symbolic Mathematical Computation19710009710Collected WorksProceedings of the 1968 Summer Institute on Symbolic Mathematical ComputationN71-19185 08-19Collected Works
No Preview Available