Informacionno-vyčisliteľnyje problemy avtomatizacii naučnych issledovanij (Nauka, 1983)