Top Qs
Chronologie
Chat
Contexte
HOL
page d'homonymie de Wikimédia De Wikipédia, l'encyclopédie libre
Remove ads
Cette page d’homonymie répertorie les différents sujets et articles portant le même nom.
HOL est un code qui peut signifier :
- Hollande (code inusité, maintenant), selon la liste des codes pays du CIO.
| Sigles de 2 caractères |
| ► Sigles de 3 caractères |
| Sigles de 4 caractères |
| Sigles de 5 caractères |
| Sigles de 6 caractères |
| Sigles de 7 caractères |
| Sigles de 8 caractères |
HOL est un sigle qui peut signifier :
- Higher-order logic (en français, logique d'ordre supérieur), en informatique théorique, des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats ;
- HOL (en) (où HOL signifie Higher Order Logic), une famille de systèmes interactifs de démonstration de théorèmes utilisant des logiques d'ordre supérieur ;
- Havas Online, un ancien FAI français.
Remove ads
Toponyme
Hol est un nom de lieu notamment porté par :
- Hol, une commune du comté de Buskerud en Norvège ;
- Hol, une municipalité du comté de Nordland en Norvège.
Patronyme
HOL est un nom de famille notamment porté par :
- Jacoba Hol (1886-1964) à Meerssen est une géographe néerlandaise ,
- Richard Hol (1825-1904), chef d'orchestre, compositeur, pédagogue et pianiste néerlandais.
Voir aussi
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads