理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- consolidated taxes on miscellaneous items
- consolidated transportation
- consolidate rate
- consolidating exterior to arrest sweating
- consolidation
- consolidation and settlement of soil
- consolidation deformation and settlement of hydraulic fill
- consolidation grouting
- consolidation mode of hollowed village
- consolidation potential of hollowed village
- consolidation services
- consolidation test
- consolute temperature
- consonance
- consonant
- consonant inventory
- consonant pattern
- consort
- consortia ascquisition
- consortium loan
- Consort Min
- CONSORT声明
- Conspectus of Chinese Ethno-National Relation History
- Conspectus of Criminal Cases
- Conspectus of Hegel's book The Science of Logic