HOL
page d'homonymie de Wikimedia / De Wikipedia, l'encyclopédie encyclopedia
Cette page d’homonymie répertorie les différents sujets et articles partageant un 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 |
Sur les autres projets Wikimedia :
- hol, sur le Wiktionnaire
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.