Национальные ресурсы / Отчеты о НИР

Структурные и алгоритмические свойства моделей полных теорий

Руководитель проекта: Омаров А.И.
Исполнители проекта: С.С.Заурбеков
Организация: НИИ мех.и мат.при КазГУ
Инвентарный номер: 0296РК00039
Регистрационный номер: 0194РК01208
Ключевые слова: модели, полные теории, алгоритмические свойства, семантические классы, критерии, алгебра, теория чисел,