Employing Computers in Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants

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

Periodeokt. 2017
BegivenhedstitelHistory and Philosophy of Computing
BegivenhedstypeKonference
Konferencenummer2017
PlaceringBrno, TjekkietVis på kort