Schlagwort (GND)
Anzeige der Dokumente 1-10 von 10
Automatentheorie [2] |
Büchi-Automat [1] |
Framework <Informatik> [1] |
Logik [1] |
Modallogik [1] |
Modelltheorie [1] |
My-Kalkül [1] |
Simulation [1] |
Temporale Logik [1] |
Unendliches Spiel [1] |
Anzeige der Dokumente 1-10 von 10
Automatentheorie [2] |
Büchi-Automat [1] |
Framework <Informatik> [1] |
Logik [1] |
Modallogik [1] |
Modelltheorie [1] |
My-Kalkül [1] |
Simulation [1] |
Temporale Logik [1] |
Unendliches Spiel [1] |