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