HOL: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Contenuto cancellato Contenuto aggiunto
aggiungo |
fix nota |
||
Riga 14: | Riga 14: | ||
== Mineralogia == |
== Mineralogia == |
||
* Hol - abbreviazione di [[hollandite]]<ref> |
* Hol - abbreviazione di [[hollandite]]<ref>{{Cita pubblicazione|url=http://www.minsocam.org/msa/ammin/toc/Abstracts/2010_Abstracts/Jan10_Abstracts/Whitney_p185_10.pdf|autore=Donna L. Whitney|coautori=Bernard W. Evans|anno=2010|titolo=Abbreviations for names of rock-forming minerals|rivista=American Mineralogist, |volume=95|pagine=185-187|accesso=20 febbraio 2014}}</ref> |
||
== Toponimi == |
== Toponimi == |
Versione delle 19:23, 20 feb 2014
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.
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]
Toponimi
- Hol - comune del Buskerud (Norvegia)
- Hol - antico comune del Nordland, ora parte del comune di Vestvågøy (Norvegia)
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»