Кафедра алгебры и математической логики ММФ

Контактное лицо

Лаборатория аналитики потоковых данных и машинного обучения

Контактное лицо

Международный научно-образовательный математический центр НГУ (ММЦ)

Контактное лицо

Результаты исследований

  1. The Existence of Primitive Recursive Structures

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаяРецензирование

  2. Decidable Models of Ehrenfeucht Theories

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. Inversion in P-Computable Fields

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

Просмотреть все (10) »

ID: 3437321