Structured design and synthesis of some symbolic processing programs
1990
The paper examines the synthesis of one symbolic processing algorithm by the MUL'TIPROTSESSIST system. An approach to the development of transportable software systems is desribed.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI