CORE

🇺🇦   make metadata, not war

    1 research outputs found

    Hard instances of algorithms and proof systems

    Author
    Publication venue
    Centre de Recerca Matemàtica
    Publication date
    Field of study
    Get PDF
    "Vegeu el resum a l'inici del document del fitxer adjunt"
    Diposit Digital de Documents de la UAB
    corecore