Some Undecidable Systems of Formal Geometry

    Aktiviteetti: Konferenssiesitelmä

    Description

    Contributors: Kuusisto Antti
    Aikajakso4 tammik. 2012
    Tapahtuman otsikkoFinnish math days
    Tapahtuman tyyppiOther
    Tunnustuksen arvoInternational