International Workshop on Higher Order Logic Theorem Proving and Its Applications (5 : 1992 : Löwen) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 2134642-2 Als Nachfolgende Konferenz oder Veranstaltung beteiligt (1) GND 5091236-7 Vorherige Konferenz oder Veranstaltung (1) GND 5091236-7 Veranstaltungsort (1) GND Löwen Nachfolgende Konferenz oder Veranstaltung (1) GND 2134642-2