Системы редукции форм и редукции сокращенных форм и -термов : Автореф... канд. физ.-мат. наук 01.01.06 / Хасидашвили Зураб Отарович ; Науч. рук. Пхакадзе Ш.С. ; АН ССР Молдовы. Ин-т мат. с вычислительным центром. - Кишинев, 1991. - 15 с.. - Библиогр.: с. 14[MFN: 11003]

UDC: 510.6 + 511

• Пхакадзе, Ш.С. (Науч. рук.); 
• АН ССР Молдовы. Ин-т мат. с вычислительным центром; 

TA 10.540 - Depositary Georgian Publications