HOL: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: lineetta enne e trattino |
m Grassetti disambigua |
||
Riga 1:
{{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)
Riga 7:
* ''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 ==
Riga 15:
== Informatica ==
* '''[[HOL theorem prover]]''' – strumento di [[model checking]]
== Mineralogia ==
| |||