What the practice of research mathematicians can teach automated theorem proving

Activity: Talk or presentation types › Lecture and oral contribution

PeriodApr 2017
Event titleNordic Network for Philosophy of Science
Event typeConference
LocationKøbenhavn, DenmarkShow on map