“Hoare logic”的概念、定义、翻译、参考文献-科学参考

单词	Hoare logic
释义	Hoare logic Encyclopedia 理学程序验证释 Hoare logic霍尔逻辑一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。 Computer 理论计算机科学程序理论释文 Hoare logic霍尔逻辑
随便看	凯洛格凯洛格-埃文斯定理凯洛格定理凯洛格-白里安公约凯洛格，F.B. 凯涅尔目镜凯特·格林威奖凯特勒凯特勒-拉比定理凯特尔环形山凯特拉，E. 凯特林斯卡娅，V.K. 凯特起义凯珀斯定性建模法凯瑞，J. 凯瑟利-海福德，J.E. 凯瑟琳凯瑟琳女伯爵凯瑟，W. 凯神星凯米铬矿床凯纳斯·米斯，C.E. 凯罗尔，J. 凯耳纳施密特光学系统凯莉，G.

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