Suggérer une abréviation Ajouter cet article à vos favoris Imprimer cet article Rechercher une abréviation AccueilHOL HOL Code Signification Langue Thèmes et lieux HOL High-Order Language En anglais Langages de programmation HOL High Order Language En anglais Langages de programmation