Seol mar théacs é seo: Автоматизация научных исследований и проектирования систем: сборник