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

Stream Data Analytics and Machine Learning laboratory

Research output

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

    Research output: Contribution to journalArticlepeer-review

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

    Research output: Contribution to journalArticlepeer-review

View all (6) »

ID: 3439699