Entscheidungsverfahren, mathematische Logik: jedes System von Regeln, mit dessen Hilfe die Entscheidung eines Problems (in Form einer endgültigen

(18 von 123 Wörtern)
Möchten Sie Zugriff auf den vollständigen Artikelinhalt?

Quellenangabe
Brockhaus, Entscheidungsverfahren (mathematische Logik). http://brockhaus.de/ecs/enzy/article/entscheidungsverfahren-mathematische-logik