您要查找的是不是：
- Hol血型抗體Blood group antibody Hol
- Hol血型抗原Blood group antigen Hol
- Hol模低損耗傳輸Hol mode low-loss transmission
- Isabelle／HOL／IsarIsabelle/HOL/Isar
- Horn集上的HOI消解與HOL消解The HOI Resolution and HOL Resolution in Horn Set
- 基于定理證明器HOL的硬件驗證研究The Study of Hardware Verification in Theorem Prover HOL
- 用Zener-Hol-lomon參數的雙曲對數函數能較好的描述KFC銅合金高溫變形時(shí)的流變應力行為;The flow stress of KFC copper alloy during high temperature can be represented by a Zener-Hollomon parameter in the hyperbolic-sine-type equation.
- Isabelle是一種用來(lái)構造交互式定理證明器的邏輯框架,由它構造的Isabelle/HOL是一種功能完備的定理證明系統。Isabelle is a logic framework used to construct theorem provers. Isabelle/HOL, which came from Isabelle, is a theorem prover with mature functions.
- 對于輸入端口具有單輸入FIFO(先入先出)隊列的輸入緩沖信元交換機(如 ATM),影響交換吞吐率的主要因素是信頭阻塞(HOL)。For input buffered cell - based switches (such as ATM)with single FIFO queues per input port, the factor of throughput is affected mostly by HOL(head of line)blocking.
