Conference | Speakers | Profile
John Mumma
Ensuring generality in Euclid’s diagrammatic arguments
2008
in: Diagrammatic representation and inference, Berlin : Springer
2010
Synthese 175/2
Constructive geometrical reasoning and diagrams
2012
Synthese 186/1
2012
Synthese 186/1
Deduction, diagrams and model-based reasoning
2017
in: Springer handbook of model-based science, Dordrecht : Springer