Lógica temporal de ações portugués (Q2403081)
Saltar á navegación
Saltar á procura
Logic used to describe behaviours of concurrent systems. inglés
| Lingua | Etiqueta | Descrición | Tamén coñecido como |
|---|---|---|---|
| galego | Non hai ningunha etiqueta definida |
Non hai ningunha descrición definida |
|
| inglés | temporal logic of actions |
Logic used to describe behaviours of concurrent systems. |
Declaracións
1994
0 referencias
Identificadores
Ligazón do sitio
Wikipedia(4 entradas)
- dewiki Temporale Logik der Aktionen
- enwiki Temporal logic of actions
- ptwiki Lógica temporal de ações
- zhwiki 行为时序逻辑