<英口>假日;
He has a red Hol den Commodore station wagon.
他有一个红色的霍顿旅行车.
Rab-bit in the hol-low fast a-sleep.
兔子在洞里面熟睡着.
Ich hol, die mir geh ? ren , jung oder alt.
我的职责是破坏,冷酷而无情.
SYSTEM All definitions and proofs have been done fully formally with the interactive theorem prover HOL 4, representing one of its major applications.
上述工作的形式化是在交互式定理证明器HOL系统中完成的。
The Study of Hardware Verification in Theorem Prover HOL
基于定理证明器HOL的硬件验证研究
The measurement of refractive index inhomogeneity of optical glass with laser hol lography was presented.
介绍了用激光全息照相测量光学玻璃的折射率不均匀性的方法.
英语网 · 英语口语
英语网 · 少儿英语故事