HOL: differenze tra le versioni

10 byte aggiunti ,  5 anni fa
m
Lineetta enne nelle disambigue (richiesta), fix minori.
(template citazione; rinominato parametro pagine a pp)
m (Lineetta enne nelle disambigue (richiesta), fix minori.)
{{disambigua}}
== 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 ==
 
== Informatica ==
* [[HOL theorem prover]] - strumento di [[model checking]]
 
== Mineralogia ==
 
== Toponimi ==
* [[Hol]] - comune del [[Buskerud]] ([[Norvegia]])
* Hol - antico comune del [[Nordland]], ora parte del comune di [[Vestvågøy]] (Norvegia)
 
499 431

contributi