Кафедра дискретной математики и информатики ММФ

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

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

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

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

  1. Complexity of the Problem of ∀-Representation for Sentences

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

  2. On the for all there exists-Theories of Free Projective Planes

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

  3. Complexity of the Isomorphism Problem for Computable Free Projective Planes of Finite Rank

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

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

ID: 3439699