Back Hol CEB Hol German HOL English HOL Esperanto HOL Estonian HOL Italian HOL Japanese HOL Korean Hol LI Hol Dutch
Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.
| 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 code qui peut signifier :
- Hollande (code inusité, maintenant), selon la liste des codes pays du CIO.
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.