International Workshop on HOL Theorem Proving System and Its Applications (4 : 1991 : Davis, Calif.) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 2130591-2 Veranstaltungsort (1) GND Davis, Calif. Nachfolgende Konferenz oder Veranstaltung (1) GND 2130591-2