Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ :  Сборник научных трудов / 
АН УССР, Науч. совет по пробл. "Кибернетика", Ин-т кибернетики им. В. М. Глушкова; [Редкол.: Ю. В. Капитонова (отв. ред.) и др.]. 
 - Киев :  ИК,  1983. 
 - 98 с. :  ил. ;  20 см. 
<br/><br/>Библиогр. в конце ст. 
<br/><br/><label>Subjects--Index Terms: </label>Кибернетика - Сборники Формализованные языки - Сборники