Sciweavers

MKM
2007
Springer

A Framework for Interactive Proof

14 years 6 months ago
A Framework for Interactive Proof
David Aspinall, Christoph Lüth, Daniel Winter
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where MKM
Authors David Aspinall, Christoph Lüth, Daniel Winterstein
Comments (0)