openthesaurus.de
Synonyme und Assoziationen
Keine direkten Treffer
Teilwort-Treffer
Kein Teilwort-Treffer
Ähnlich geschrieben
Keine ähnlichen Treffer
Wiktionary
Keine direkten Treffer
Wikipedia-Links
Entscheidbar
·
Theoretische Informatik
·
Aussagenlogik
·
Formel
·
Variable (Logik)
·
Komplexitätsklasse
·
NP (Komplexitätsklasse)
·
Nichtdeterministische Turingmaschine
·
NP-Vollständigkeit
·
Satz von Cook
·
Polynomialzeitreduktion
·
Turingmaschine
·
EXPTIME
·
Entscheidbar
·
Wahrheitstabelle
Quelle & Lizenz
Quelle:
Wikipedia-Seite zu 'Erfüllbarkeitsproblem der Aussagenlogik'
[
Autoren
]
Lizenz:
Creative Commons Attribution-ShareAlike