“程序变换”的概念、定义、翻译、参考文献-科学参考

单词	程序变换
释义	程序变换 Encyclopedia 理学形式化开发方法释 program transportation程序变换将一种程序输入变换为另一种程序输出的操作。 Mathematics program transformation程序变换 transformation of programs程序变换
随便看	bawei chenxiang wan B. A. W. Russell B. A. W. Russell (1872—1970) Baxie baxie Baxoi Xian Baxter Baxter algebra Baxter constant Baxter four-coloring constant Baxter permutation bay Bayan, Barintai Bayan Bulag Fortress Bayanbulak Nature Reserve Bayan Har Shan Bayanhongor Bayanhot Zhen Bayankala-Songpan minerogenetic province Bayankhongor Province Bayan Ko: My Own Country Bayannaoer national geological park Bayannor Youth Science and Technology Museum Bayannur Plateau Bayannur Shi

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。