Л.Ю. Исмаилова

L.Yu. Ismailova

1 статья 2024

Информационно-измерительные и управляющие системы 1

2024

Предметно-ориентированные системы типов в формализме Чёрча и Карри Информационно-измерительные и управляющие системы, №5 за 2024 г. С. 39-45