Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул von Львов, М.С., Песчаненко, В.С., Летичевский, А.А., Тарасич, Ю.Г., Баев, А.С.

Volltext