hol

n.

假日；

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