Доклад:

• Т.Ю. Зверева - Синтез-метод доказательства финитной аппроксимируемости для линейной временной step-like логики знания.

Участники семинара:

• Башмаков С.И.
• Мукосий А.А.
• Смелых К.А.
• Донец Е.А.