Семинар

Мордвинов Дмитрий Александрович

Что
Когда	2017-10-13 c 05:00 pm по 06:30 pm
Где	каб. А.Н. Терехова
Добавить событие в календарь	vCal iCal

О неограниченной верификации, решателях дизъюнктов Хорна и символьном исполнении

Новости: $News Item$ Стипендия А.Н. Терехова 2016-06-17; $News Item$ Защиты магистерских диссертаций 010300 «Фундаментальные информатика и информационные технологии» 2014-06-06; $News Item$ Защиты ВКР бакалавров 010400 «Информационные технологии» 2014-06-04; $News Item$ Предзащиты магистров 010300 и бакалавров 010400 2014-05-26; $News Item$ Предзащиты бакалавров 010400 (информационные технологии) 2014-05-20; Ещё новости…