“…Рос. АН, Ин-т пробл. информатики…”