Методы и алгоритмы линейных и аффинных преобразований для модели бинарных диаграмм решений : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.18
Методы и алгоритмы линейных и аффинных преобразований для модели бинарных диаграмм решений : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.18