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

Activity: Talk or presentation types › Lecture and oral contribution

Henrik Kragh Sørensen - Other

Jun 2017

Event (Conference)

TitleInternational Association for Computing and Philosophy
Abbreviated titleIACAP
Date26/06/2017 → 28/06/2017
LocationStanford University
Country/TerritoryUnited States
Degree of recognitionInternational event

ID: 183770279