International Workshop on First Order Theorem Proving (3 : 2000 : Saint Andrews) Bezüge im Wissensnetz Veranstaltungsort (1) GND Saint Andrews