ҒТА ұлттық қоры / ҒЗЖ туралы есептер

Свойства типов в зависимых теориях

Жетекшінің аты-жөні, тегі: Кальменов Т.Ш.
Work head: Байжанов Б.С., Вербовский В.В., Замбарная Т.С. и др.
: Институт математики и математического моделирования
Инвентарлық номер: 0217РК02205
Тіркелген номер: 0115РК00650
негізгі сөздер: зависимые теории