Ревенчук Ілона Анатоліївна. Алгебро-логічні методи опису арифметичних відношень та їх застосування при створенні раціональних структур обчислювачів. : Дис... канд. наук: 01.05.03 - 2001.