Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Антюфеев Г.В.

МГУ им. М.В. Ломоносова

Листинг всех работ автора. Нажмите на название работы для того, чтобы получить по ней полную информацию.

2016
		Антюфеев Г.В., Жуков В.В., Зенин Е.Ю., Шуплецов М.С. Методы разбиения логических схем для оптимизации решения задач проверки эквивалентности и функциональной коррекции схем