Башмаков Степан Игоревич

Доклады и лекции в базе данных Math-Net.Ru

1. Finite model property and unification for temporal logic of knowledge $LTK.sl_U$
   С. И. Башмаков
   Конференция международных математических центров мирового уровня
   12 августа 2021 г. 14:30