Versione delle 08:47, 30 mag 2016 modifica Atarubot (discussione \| contributi) 550 442 modifiche template citazione; rinominato parametro pagine a pp ← Differenza precedente		Versione delle 11:22, 13 mag 2017 modifica annulla DaimonBot (discussione \| contributi) Bot 499 431 modifiche m Lineetta enne nelle disambigue (richiesta), fix minori. Differenza successiva →
Riga 1: {{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 == Riga 11: == Informatica == * [[HOL theorem prover]] -– strumento di [[model checking]] == Mineralogia == Riga 17: == Toponimi == * [[Hol]] -– comune del [[Buskerud]] ([[Norvegia]]) * Hol - antico comune del [[Nordland]], ora parte del comune di [[Vestvågøy]] (Norvegia)

HOL: differenze tra le versioni