Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: nid=4046974-8
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/gnd/4046974-8 |
Sachbegriff | Prädikatenlogik |
Quelle | M, Au=DB |
Synonyme | Quantorenlogik (Lex. Informatik) |
Oberbegriffe |
Mathematische Logik Logik |
Thematischer Bezug | Verwandter Begriff: Bewachte Logik |
DDC-Notation |
005.131 160 511.3 |
Systematik | 28 Mathematik |
Typ | Allgemeinbegriff (saz) |
Untergeordnet |
2 Datensätze
|
Thema in |
90 Publikationen
|
Maschinell verknüpft mit |
7 Publikationen
|
