Some Undecidable Systems of Formal Geometry

    Activity: Talk or presentation › Conference presentation

    Description

    Contributors: Kuusisto Antti
    Period4 Jan 2012
    Event titleFinnish math days
    Event typeOther
    Degree of RecognitionInternational