Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: nid=4152398-2
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/gnd/4152398-2 |
Sachbegriff | Entscheidbarkeit |
Quelle | M, Du. Informatik |
Thematischer Bezug | Verwandter Begriff: Entscheidungsproblem |
DDC-Notation | 511.3 |
Systematik | 4.3 Erkenntnistheorie, Logik ; 28 Mathematik ; 30 Informatik, Datenverarbeitung |
Typ | Allgemeinbegriff (saz) |
Andere Normdaten |
LCSH: Decidability (Mathematical logic) RAMEAU: Décidabilité (logique mathématique) |
Thema in |
31 Publikationen
|
Maschinell verknüpft mit |
5 Publikationen
|
