hol的例句大全

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的硬件验证研究

He has a red Hol den Commodore station wagon.

他有一个红色的霍顿旅行车.

halogenated, sulphonated, nitrated or nitro-sated derivatives of phenols or phenolalco-hols.

酚及酚醇的卤化、磺化、硝化或亚硝化衍生物。

Rab-bit in the hol-low fast a-sleep.

兔子在洞里面熟睡着.

Ich hol, die mir geh ? ren , jung oder alt.

我的职责是破坏,冷酷而无情.

The measurement of refractive index inhomogeneity of optical glass with laser hol lography was presented.

介绍了用激光全息照相测量光学玻璃的折射率不均匀性的方法.