Проценко Н.А.Моделирование вычисления истинности утверждений в вычислительных сетях и потоках на основе временной модальной логики
К списку докладов |
XXIV ВСЕРОССИЙСКАЯ КОНФЕРЕНЦИЯ МОЛОДЫХ УЧЁНЫХ ПО МАТЕМАТИЧЕСКОМУ МОДЕЛИРОВАНИЮ И ИНФОРМАЦИОННЫМ ТЕХНОЛОГИЯМ
Проценко Н.А.Моделирование вычисления истинности утверждений в вычислительных сетях и потоках на основе временной модальной логики
К списку докладов |