Журналы
Разделы книг
Статьи по ключевому слову формальная система
Формирование обобщенных методик проектирования на основе процессной модели
А.Ф. Похилько - к.т.н., доцент, профессор, кафедра «Прикладная математика и информатика», Ульяновский государственный технический университет. E-mail: afp@ulstu.ru
Обзор и сравнительный анализ методов конструирования термов в комбинаторной логике

Р.В. Душкин1

1Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

1rvdushkin@mephi.ru