Презентации и Авторы

Фамилия А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я Все
Секция:

Реализация теории типов как инструмента для восприятия математической теории в разработанном программном обеспечении
Ярослав Олегович Цвира, Татьяна Николаевна Горбунова