What the practice of research mathematicians can teach automated theorem proving

Activity: Talk or presentation typesLecture and oral contribution

Henrik Kragh Sørensen - Other

Apr 2017

Event (Conference)

TitleNordic Network for Philosophy of Science
Abbreviated titleNNPS 2017
Date20/04/201721/04/2017
Website
LocationKøbenhavns Universitet
CityKøbenhavn
Country/TerritoryDenmark
Degree of recognitionInternational event

ID: 183772206