Результати пошуку - Potienko, S.V.
- Показ 1 - 2 результатів із 2
-
1
Methods of forward and backward symbolic modeling of systems specified by basic protocols за авторством Potienko, S.V.
Опубліковано 2026Отримати повний текст
Стаття -
2
Backward transformation of formulas in symbolic modeling: from the result to the source formula за авторством Godlevsky, A.B., Potienko, S.V.
Опубліковано 2026Отримати повний текст
Стаття