International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience (1 : 1992 : Nimwegen) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 2140354-5 Veranstaltungsort (1) GND Nimwegen Nachfolgende Konferenz oder Veranstaltung (1) GND 2140354-5