Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (2016)
Attributed to:
The Integration and Interaction of Multiple Mathematical Reasoning Processes
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://jfr.unibo.it/article/view/6298
Type: Journal Article/Review
Volume: 9
Parent Publication: Journal of Formalized Reasoning
Issue: 2