Ansetzungsform: | Formale Semantik |
---|---|
SWD: | 4122144-8 |
GND: | 4122144-8 |
PPN (SWB): | 105764582 |
Quelle: | Lex. Informatik Kommunikationstechnik |
SWD-Systematiknummer: | 4.3;11.2a;28;30 |
Notation DDC: | 004.015113;005.131;160;511.3;401.430182;T4--01430182 |
Alternativformen: | Formal semantics Semântica formal Semantica formale Sémantique formelle Semántica formal Logical semantics Semantics (Philosophy) Sémantique (philosophie) Semántica (Filosofía) |
Verweisungsformen allg.: | Logik / Semantik Logische Semantik Semantik / Logik |
Verwandter Begriff: | Semantik |