HOL
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.
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.
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.