temporal logic of actions anglès (Q2403081)
Salta a la navegació
Salta a la cerca
Logic used to describe behaviours of concurrent systems. anglès
Llengua | Etiqueta | Descripció | També conegut com a |
---|---|---|---|
català | Encara no s'ha definit cap etiqueta |
Encara no s'ha definit cap descripció |
|
anglès | temporal logic of actions |
Logic used to describe behaviours of concurrent systems. |
Declaracions
1994
0 referències
Identificadors
Enllaços de llocs
Viquipèdia(4 entrades)
- dewiki Temporale Logik der Aktionen
- enwiki Temporal logic of actions
- ptwiki Lógica temporal de ações
- zhwiki 行为时序逻辑