Workshop on Non-Standard Logics and Logical Aspects of Computer Science (1 : 1994 : Kanazawa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kanazawa