理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- intelligent network conceptual model，INCM
- intelligent network physical entity
- intelligent network，IN
- intelligent operation and maintenance
- intelligent operation and maintenance of civil engineering
- intelligent operation and maintenance of railway infrastructure
- intelligent optical distribution network
- intelligent optimization algorithm
- intelligent optimization algorithms
- intelligent optimized control
- intelligent package cabinet
- intelligent park
- intelligent parking service system
- intelligent parking system
- intelligent passenger hub management system
- intelligent pedestrian intersection
- intelligent pension
- Intelligent perception
- intelligent perception for moving body
- intelligent peripheral interface
- intelligent peripheral interface, IPI
- intelligent PID control
- intelligent planning
- intelligent police
- intelligent polymer