HOL
A questo titolo corrispondono più voci, di seguito elencate.
Questa è una pagina di disambiguazione; se sei giunto qui cliccando un collegamento, puoi tornare indietro e correggerlo, indirizzandolo direttamente alla voce giusta. Vedi anche le voci che iniziano con o contengono il titolo.
Geografia
[modifica | modifica wikitesto]- Norvegia
- Hol – comune della contea di Buskerud
- Hol – antico comune del Nordland, ora parte del comune di Vestvågøy
Sigle
[modifica | modifica wikitesto]- 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
Codici
[modifica | modifica wikitesto]- 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
Informatica
[modifica | modifica wikitesto]- HOL theorem prover – strumento di model checking
Mineralogia
[modifica | modifica wikitesto]- Hol – abbreviazione di hollandite[1]
Altro
[modifica | modifica wikitesto]- HOL – abbreviazione aeronautica di Holiday – Festivo
- HOL – targa automobilistica di Holzminden (Germania)
Note
[modifica | modifica wikitesto]- ^ Donna L. Whitney, Bernard W. Evans, Abbreviations for names of rock-forming minerals (PDF), in American Mineralogist,, vol. 95, 2010, pp. 185-187. URL consultato il 20 febbraio 2014.
Altri progetti
[modifica | modifica wikitesto]
Wikizionario contiene il lemma di dizionario «Hol»