Динамическая логика
method
ID: dynamiclogic
Детали сущности
Основная информация
ID сущности
dynamiclogic
Тип сущности
Method
Английская метка
Dynamic Logic
Русская метка
Динамическая логика
Казахская метка
Динамикалық логика
Частота
1
Описание
Английское описание
A formal system that uses quantification to express dynamic properties and transitions.
Русское описание
-
Казахское описание
-