What the practice of research mathematicians can teach automated theorem proving

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

Periodeapr. 2017
BegivenhedstitelNordic Network for Philosophy of Science
BegivenhedstypeKonference
PlaceringKøbenhavn, DanmarkVis på kort