John Mumma
(2010-2019)
XDeduction, diagrams and model-based reasoning
2017
in: Springer handbook of model-based science, Dordrecht : Springer
Constructive geometrical reasoning and diagrams
2012
Synthese 186/1
(2010-2019)
XDeduction, diagrams and model-based reasoning
2017
in: Springer handbook of model-based science, Dordrecht : Springer
Constructive geometrical reasoning and diagrams
2012
Synthese 186/1