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

Activity: Talk or presentation types › Lecture and oral contribution

PeriodJun 2017
Event titleInternational Association for Computing and Philosophy
Event typeConference
LocationUnited States, CaliforniaShow on map