| |
| Ansetzungsform: | Temporale Logik |
|---|---|
| SWD: | 4137542-7 |
| GND: | 4137542-7 |
| PPN (SWB): | 10465340X |
| Quelle: | Lex. Informatik ; Enz. Wiss.theorie |
| SWD-Systematiknummer: | 28;30;4.3 |
| Notation DDC: | 005.131;160;511.31 |
| Alternativformen: | Temporal logic Lógica temporal Logica temporale Logique temporelle Lógica temporal |
| Verweisungsformen allg.: | Zeitabhängige Logik Zeitlogik Temporal logic Temporallogik |
| Übergeordnete Bezeichnung: | Nichtklassische Logik |
| Verwandter Begriff: | Nichtklassische Logik |
DNB: Deutsche Nationalbibliothek
