HOL: differenze tra le versioni

3 byte rimossi ,  10 anni fa
m
Bot: Sostituisco titolo sezione 'Acronimi' → 'Sigle'
m (Annullate le modifiche di 87.189.57.180 (discussione), riportata alla versione precedente di ZeroBot)
m (Bot: Sostituisco titolo sezione 'Acronimi' → 'Sigle')
{{Sigla3}}
== AcronimiSigle ==
* ''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]]
929 902

contributi