Скачать
Константин Чухарев - От SAT к SMT: новый рубеж в решении задач и формальной верификации
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: