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

Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

Periode6 aug. 2019
Begivenhedstitel16th International Congress on Logic, Methodology and Philosophy of Science and Technology
BegivenhedstypeKonference
Konferencenummer16
PlaceringPrag, Tjekkiet
Grad af anerkendelseInternational