HOL: differenze tra le versioni

18 byte aggiunti ,  1 anno fa
m
Grassetti disambigua
m (Grassetti disambigua)
 
{{disambigua}}
== Geografia ==
* '''[[Hol]]''' – comune della contea di [[Viken (contea)|Viken]] ([[Norvegia]])
* Hol – antico comune del [[Nordland]], ora parte del comune di [[Vestvågøy]] (Norvegia)
 
* ''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 ==
 
== Informatica ==
* '''[[HOL theorem prover]]''' – strumento di [[model checking]]
 
== Mineralogia ==
310 876

contributi