Seminar Theorem Proving and Logic Programming with Constraints (1991 : Dagstuhl) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern