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

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

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

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

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

  1. Decidable Models of Ehrenfeucht Theories

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

  2. Arithmetical Decidability of Homogeneous and Almost Prime Countable Models of Ehrenfeucht Theories with Arithmetical Types

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

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

ID: 25020914