HOL
Da Wikipedia, l'enciclopedia libera.
 |
Questa è una pagina di chiarimento delle ambiguità: contiene un elenco di voci che possono riferirsi alla stessa combinazione di 3 caratteri. Se sei giunto qui passando da un wikilink, puoi tornare indietro e correggerlo in modo che punti direttamente alla voce appropriata. Vedi anche il Progetto acronimi. Cerca un acronimo per HOL |
Indice |
[modifica] Acronimi
- Higher-order language - linguaggio di ordine superiore o linguaggio di programmazione ad alto livello
- Higher-order logic - logica di ordine superiore alla logica del primo ordine
- Human Occupied Landfill - gioco di ruolo
[modifica] Codici
- HOL - vecchio codice nazionale del CIO dei Paesi Bassi
- HOL - codice aeroportuale IATA dell'aeroporto civile di Holikachuk (Stati Uniti)
- hol - codice ISO 639-3 della lingua holu
[modifica] Informatica
- HOL theorem prover - strumento di model checking
[modifica] Toponimi
- Hol - comune del Buskerud (Norvegia)
- Hol - antico comune del Nordland, ora parte del comune di Vestvågøy (Norvegia)
[modifica] Altro
- HOL - abbreviazione aeronautica di Holiday - Festivo
- HOL - targa automobilistica di Holzminden (Germania)
