Разумовский Спартак Николаевич

Публикации в базе данных Math-Net.Ru

1. О преобразовании программ решения сложных логических задач к оптимальному виду
   
   Докл. АН СССР, 139:3 (1961),  562–565
2. К вопросу об автоматизации программирования задач перевода с одного языка на другой
   
   Докл. АН СССР, 113:4 (1957),  760–761