Proof Granularity as an Empirical Problem?

Marvin Schiller, Christoph Benzmüller. Proof Granularity as an Empirical Problem?. In José A. Moinhos Cordeiro, Boris Shishkov, Alexander Verbraeck, Markus Helfert, editors, CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009 - Volume 1. pages 350-354, INSTICC Press, 2009.

Abstract

Abstract is missing.