What the practice of research mathematicians can teach automated theorem proving
Activity: Talk or presentation types › Lecture and oral contribution
Henrik Kragh Sørensen - Other
- Department of Science Education
- History and Philosophy of Science
Apr 2017
Event (Conference)
Title | Nordic Network for Philosophy of Science |
---|---|
Abbreviated title | NNPS 2017 |
Date | 20/04/2017 → 21/04/2017 |
Website | |
Location | Københavns Universitet |
City | København |
Country/Territory | Denmark |
Degree of recognition | International event |
ID: 183772206