Eine Abkürzung vorschlagen Zu Favoriten hinzufügen Seite drucken Eine Abkürzung suchen StartseiteHOL Was bedeutet HOL? Code Bedeutung Sprache Themen und Örter HOL High-Order Language Auf Englisch Programmiersprachen HOL High Order Language Auf Englisch Programmiersprachen