Results 141 to 150 of about 34,898 (215)
Проверка эквивалентности программ с помощью двухленточных автоматов
, 2010 Семантика послідовних програм визначається на основі моделей динамічної логіки. Якщо динамічна шкала ациклічна, її можна описати двострічковим детермінованим автоматом.
Захаров, В.А.
core
СЕМАНТИКА ПРОЦЕСУ В КОНЦЕПЦІЇ СИСТЕМНО-ФУНКЦІЙНОЇ ГРАМАТИКИ М.A.K. ГЕЛЛІДЕЯ
, 2023 Iryna Dilai
openalex +2 more sources
Лінгвістично-інформаційні студії Системна семантика тлумачних словників
, 2018 V.A. Shyrokov +6 more
openalex +1 more source
Туристична термінологія : семантика і функціонування : монографія
, 2018 Прима В.В.
openalex +1 more source
Вероятностная семантика байесовских сетей в случае линейной цепочки фрагментов знаний
, 2005 Николенко, Тулупьев
openalex +1 more source