HOL: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Contenuto cancellato Contenuto aggiunto
m Bot: Subst template {{Sigla3}} (vedi discussione) |
aggiungo |
||
| Riga 12: | Riga 12: | ||
== Informatica == |
== Informatica == |
||
* [[HOL theorem prover]] - strumento di [[model checking]] |
* [[HOL theorem prover]] - strumento di [[model checking]] |
||
== Mineralogia == |
|||
* Hol - abbreviazione di [[hollandite]]<ref>[http://www.minsocam.org/msa/ammin/toc/Abstracts/2010_Abstracts/Jan10_Abstracts/Whitney_p185_10.pdf Whitney, D.L. & Evans, B.W., 2010 - ''Abbreviations for names of rock-forming minerals''. American Mineralogist, vol.'''95''', pp.185-187]</ref> |
|||
== Toponimi == |
== Toponimi == |
||
| Riga 20: | Riga 23: | ||
* HOL - [[Abbreviazioni aeronautiche|abbreviazione aeronautica]] di ''Holiday'' - Festivo |
* HOL - [[Abbreviazioni aeronautiche|abbreviazione aeronautica]] di ''Holiday'' - Festivo |
||
* HOL - [[Targhe automobilistiche tedesche|targa automobilistica]] di [[Holzminden]] ([[Germania]]) |
* HOL - [[Targhe automobilistiche tedesche|targa automobilistica]] di [[Holzminden]] ([[Germania]]) |
||
== Note == |
|||
<references/> |
|||
== Altri progetti == |
== Altri progetti == |
||
Versione delle 17:13, 19 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
Altri progetti
Wikizionario contiene il lemma di dizionario «Hol»
