What the practice of research mathematicians can teach automated theorem proving

Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag

Henrik Kragh Sørensen - Andet

apr. 2017

Begivenhed (Konference)

TitelNordic Network for Philosophy of Science
Forkortet titelNNPS 2017
Dato20/04/2017 → 21/04/2017
Hjemmeside
AfholdelsesstedKøbenhavns Universitet
ByKøbenhavn
Land/OmrådeDanmark
Grad af anerkendelseInternational begivenhed

ID: 183772206