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 |