Vom Entscheidungsverfahren zur Mensch-Maschine-Interaktion Gerd Veenkers Arbeiten zum automatischen Beweisen - Seising, Rudolf 1961- (2023)
Keywords: Veenker, Gerd -- 1936-1996; Geschichte; Entscheidungsverfahren; Automatisches Beweisverfahren; Mensch-Maschine-Kommunikation