Мороховець М. К. Особливості організації сучасних систем автоматизації міркувань / М. К. Мороховець // Мат. машини і системи. - 2003. - № 2. - С. 140-145. - Бібліогр.: 28 назв. - укp.
Проаналізовано різні форми взаємодії сучасних систем автоматизації міркувань (САМ) з іншими програмними засобами розв'язання математичних задач. Сучасні САМ розглянуто з урахуванням їх складу. На підставі проведеного аналізу сформульовано основні проблеми та виділено можливі напрямки розвитку САМ.
Шифр НБУВ: Ж15664Пошук видання у каталогах НБУВДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"