International Workshop on the Implementation of Logics (2 : 2001 : Havanna) Bezüge im Wissensnetz Veranstaltungsort (1) GND Havanna