1) write and compute
写和计算
2) RWC (read,write and compute)
读写和计算
3) computer and internet-aided writing
计算机和网络辅助写作
1.
The paper is an investigation of the effects and problems rendered by a new writing mode-computer and internet-aided writing.
对利用计算机和网络辅助写作的新生做了调查和分析,结果发现:新生虽然肯定了计算机和网络资源对提高写作质量的作用,但利用计算机和网络辅助写作的水平和层次较低,对写作活动的认识和实际行动之间还有差距,部分学生还没有形成强烈的自主学习意识。
4) He is good at the three R's.
他善于读、写和算
6) dynamic term rewriting calculus
动态项重写计算
1.
The dynamic term rewriting calculus is a formal computation model for meta-computation of term rewriting systems, which has characteristic features as the hierarchical declaration and dynamic rewriting, and is applied to the automated formal proving for the inductive theorems and weak termination of term rewriting systems.
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面。
补充资料：辅助写作
利用知识库（repository），或进行网络检索，为计算机写作提供必要的知识。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条