Ergebnis zur Suche nach HOL
Zu der Abkürzung «HOL» konnten 1 Entsprechungen gefunden werden
Langform | Beschreibung | Kategorie | |
---|---|---|---|
HOL | High-Order Logic | - | IT & Elektro |
Zu der Abkürzung «HOL» konnten 1 Entsprechungen gefunden werden
Langform | Beschreibung | Kategorie | |
---|---|---|---|
HOL | High-Order Logic | - | IT & Elektro |