“部分正确性”的概念、定义、翻译、参考文献-科学参考

单词	部分正确性
释义	部分正确性 Encyclopedia 理学程序正确性释 partial correctness部分正确性对给定的输入，程序只要终止就一定满足规约。 Mathematics partial correctness部分正确性 Computer 理论计算机科学程序理论释文 partial correctness部分正确性
随便看	Liuli Chang Liulichang Bookstore Street of Beijing Liulihe Liulihe Shang-Zhou Yizhi Liu Lin Liulin Liu Ling Liu Lingcang Liu Lingxian Liulin Quan Liulin Xian Liu Li of Bamboo Slips Collected by Shanghai Museum Liu Lisha Liu Liufu Liu Lu Liu Luoguo's Story Liu Lüfen Liumai Ditch Liu Maili Liu Meicun Liu Mengwei Liu Mian Liu Min Liu Mingbao Liu Mingchuan

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