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

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

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

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

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

  1. The NP-completeness of the Consistency Problem for Systems of Diophantine Equations over Finite Configurations

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

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

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

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

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

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

ID: 3439699