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