Eine Abkürzung vorschlagen Diesen Artikel zu deinen Favoriten hinzufügen Diesen Artikel drucken Eine Abkürzung suchen StartseiteHOL HOL Code Bedeutung Sprache Themen und Örter HOL High-Order Language Auf Englisch Programmiersprachen HOL High Order Language Auf Englisch Programmiersprachen