International Conference on Logic Programming and Automated Reasoning (5 : 1994 : Kiew) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kiew