HOL: differenze tra le versioni

334 byte aggiunti ,  8 anni fa
aggiungo
m (Bot: Subst template {{Sigla3}} (vedi discussione))
(aggiungo)
== Informatica ==
* [[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 ==
* HOL - [[Abbreviazioni aeronautiche|abbreviazione aeronautica]] di ''Holiday'' - Festivo
* HOL - [[Targhe automobilistiche tedesche|targa automobilistica]] di [[Holzminden]] ([[Germania]])
 
== Note ==
<references/>
 
== Altri progetti ==
450 992

contributi