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

Руководитель проекта: Байжанов Саян Саматович
Исполнители проекта: 
Организация: "Институт математики и математического моделирования"
Инвентарный номер: 0322РК01262
Регистрационный номер: 0122РК00831
Ключевые слова: Обогащение моделей,Определимость типов,Слабо о-минимальные теории,стабильные теории,Теория моделей,Упорядоченно стабильные теории