Семинар

Павлов Владимир Александрович (СПбПУ)

Что
Когда	2016-10-12 c 05:30 pm по 07:00 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; Ещё новости…