Resolution
Übersicht
zuletzt besuchte Definitionen...
Ausführliche Definition im Online-Lexikon
logische Beweistechnik, die sich bes. gut für das computergestützte Beweisen von Theoremen eignet. Resolution bildet eine wesentliche Grundlage der Programmiersprache Prolog.
Zur Zeit keine Literaturhinweise/ Weblinks der Autoren verfügbar.