HOL: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Contenuto cancellato Contenuto aggiunto
m Bot: lineetta enne e trattino |
m Grassetti disambigua |
||
Riga 1: | Riga 1: | ||
{{disambigua}} |
{{disambigua}} |
||
== Geografia == |
== Geografia == |
||
* [[Hol]] – comune della contea di [[Viken (contea)|Viken]] ([[Norvegia]]) |
* '''[[Hol]]''' – comune della contea di [[Viken (contea)|Viken]] ([[Norvegia]]) |
||
* Hol – antico comune del [[Nordland]], ora parte del comune di [[Vestvågøy]] (Norvegia) |
* Hol – antico comune del [[Nordland]], ora parte del comune di [[Vestvågøy]] (Norvegia) |
||
Riga 7: | Riga 7: | ||
* ''Higher-order language'' – linguaggio di ordine superiore o [[linguaggio di programmazione ad alto livello]] |
* ''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]] |
* ''Higher-order logic'' – logica di ordine superiore alla [[logica del primo ordine]] |
||
* [[Human Occupied Landfill]] – [[gioco di ruolo]] |
* '''[[Human Occupied Landfill]]''' – [[gioco di ruolo]] |
||
== Codici == |
== Codici == |
||
Riga 15: | Riga 15: | ||
== Informatica == |
== Informatica == |
||
* [[HOL theorem prover]] – strumento di [[model checking]] |
* '''[[HOL theorem prover]]''' – strumento di [[model checking]] |
||
== Mineralogia == |
== Mineralogia == |
Versione delle 22:40, 24 lug 2021
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
- Hol – comune della contea di Viken (Norvegia)
- Hol – antico comune del Nordland, ora parte del comune di Vestvågøy (Norvegia)
Sigle
- 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
- 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
- HOL theorem prover – strumento di model checking
Mineralogia
- Hol – abbreviazione di hollandite[1]
Altro
- HOL – abbreviazione aeronautica di Holiday – Festivo
- HOL – targa automobilistica di Holzminden (Germania)
Note
- ^ 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
- Wikizionario contiene il lemma di dizionario «Hol»