Международный симпозиум «Автоматы, алгоритмы и информационные технологии»

by Мороховец, М.К.
Published 2010

Киберфизические системы: лингвистический аспект

by Годлевский, А.Б., Мороховец, М.К.
Published 2020

Алгоритм Очевидности Глушкова

by Летичевский, А.А., Лялецкий, А.В., Мороховец, М.К.
Published 2013

Система доказательного программирования

by Летичевский, А.А. (мл.), Мороховец, М.К., Песчаненко, В.С.
Published 2012

Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования...

by Летичевский, А.А., Герман, В.Н., Мороховец, М.К., Щеголева, Н.Н.
Published 2010

Методика разработки и средства формализации функциональных спецификаций систем и устройств

by Годлевский, А.Б., Мищенко, Н.М., Мороховец, М.К., Фелижанко, О.Д., Щеголева, Н.Н.
Published 2016

Новые функциональные возможности системы обработки естественноязыковых спецификаций и среда ее функционирования...

by Мищенко, Н.М., Мороховец, М.К., Фелижанко, О.Д., Штелик, Е.В., Щёголева, Н.Н.
Published 2018