Back to Search
Start Over
The problem of substitution
- Source :
- IBM PROC. OF THE 1968 SUMMER INST. ON SYMBOLIC MATHEMATICAL COMPUTATION JUN. 1969.
- Publication Year :
- 1969
- Publisher :
- United States: NASA Center for Aerospace Information (CASI), 1969.
-
Abstract
- Discussing REDUCE system and approach to substitution in design of symbolic mathematics system
- Subjects :
- Mathematics
Subjects
Details
- Language :
- English
- Database :
- NASA Technical Reports
- Journal :
- IBM PROC. OF THE 1968 SUMMER INST. ON SYMBOLIC MATHEMATICAL COMPUTATION JUN. 1969
- Notes :
- ARPA SD-183, , F44620-68-C-0075
- Publication Type :
- Report
- Accession number :
- edsnas.19710009711
- Document Type :
- Report