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

单词	部分正确性
释义	部分正确性 Encyclopedia 理学程序正确性释 partial correctness部分正确性对给定的输入，程序只要终止就一定满足规约。 Mathematics partial correctness部分正确性 Computer 理论计算机科学程序理论释文 partial correctness部分正确性
随便看	J. Pell J. Pell (1611—1685) J. P. Gram J. P. Gram (1850—1916) J. P. Joule J. P. Joule, 1818—1889 JPL J. Playfair J. Playfair (1748—1819) J. Plemelj J. Plemelj (1873—1967) J. Plucker J. Plücker J. Plücker (1801—1868) J. Plücker, 1801—1868 J. P. M. Binet J. P. M. Binet (1786—1856) J P Movement J. P. Petersen J. P. Petersen (1839—1910) J. Priestley J. Priestley, 1733—1804 J. P. Schauder J. P. Schauder (1899—1943) J. P. Serre

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