hol音标
[hɔl]
hol翻译
n.
假日;
英英释义
Hol
Hol is a surname. Notable people with the surname include:
以上来源于:Wikipedia
hol用法
权威例句
Isabelle/HOL: a proof assistant for higher-order logic
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic
Melham, editors. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic
Multilayered Titania, Silica, and Laponite Nanoparticle Coatings on Polystyrene Colloidal Templates and Resulting Inorganic Hollow S...
HOL: A Proof Generating System for Higher-Order Logic
Nominal Techniques in Isabelle/HOL.
Isabelle/HOL
Evaluating Winding Numbers and Counting Complex Roots through Cauchy Indices in Isabelle/HOL
First Person Accounts of Mental Illness and Recovery. Edited by Craig Winston LeCroy & Jane Holschuh...
Prevalence of insulin resistance in metabolic disorders: the Bruneck Study