Inferenzalgorithmen Mathematische Verfahren zur logischen Schlussfolgerung. Kategorie: I | Quelle: Das große KI-Lexikon von David Mirga