International Workshop on the Implementation of Logics (11. : 2015 : Suva) Bezüge im Wissensnetz Veranstaltungsort (1) GND Suva Homepage (1) GND IWIL-2015.html