О разработке процедур автоматического решения задачстатья

Статья опубликована в журнале из перечня ВАК