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

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

Periodejun. 2017
BegivenhedstitelInternational Association for Computing and Philosophy
BegivenhedstypeKonference
PlaceringUSA, CaliforniaVis på kort