hol
[hɔl]

n.

假日；

英英释义

Hol

• Hol is a surname. Notable people with the surname include:

以上来源于:Wikipedia

权威例句

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