Stumbling Around in the Dark: Lessons from Everyday Mathematics
Ursula Martin
Book Title
International Conference on Automated Deduction
Organisation
Springer International Publishing
Pages
29–51
Year
2015
Ursula Martin