Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (2016)

First Author: Lin. Y
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