Проценко, Никита Александрович

Студент

Сибирский федеральный университет
http://www.sfu-kras.ru/
Россия, 660041, Красноярск, г. Красноярск, пр. Свободный, 79
Телефон: 3912448213, Факс: 3912448625

Доклад

• Проценко Н.А.^*
  Моделирование вычисления истинности утверждений в вычислительных сетях и потоках на основе временной модальной логики
  ^*Сибирский федеральный университет (Красноярск), Россия
  

К списку участников