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

单词	程序变换
释义	程序变换 Encyclopedia 理学形式化开发方法释 program transportation程序变换将一种程序输入变换为另一种程序输出的操作。 Mathematics program transformation程序变换 transformation of programs程序变换
随便看	deep submersible vehicle deep subsurface microbe deep theorem deep time deep-tow system deep trap deep ultraviolet lithography technology Deep Underground Law deep underground space deep underwater muon and neutrino detector deep unloading deep valley deep venous thrombosis deep venous thrombosis rehabilitation deep-water delta Deepwater Horizon drilling rig explosion Deepwater Horizon Oil Spill Accident in the Gulf of Mexico deep water mass deep water pipe-laying engineering deep water pipeline hydrate inhibition deep-water redfish deep-water rice deep water riser system deep water wave deep-water waves

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