Sciweavers

ICMS
2010

Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?

13 years 10 months ago
Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?
R. D. Arthan
Added 12 Feb 2011
Updated 12 Feb 2011
Type Journal
Year 2010
Where ICMS
Authors R. D. Arthan
Comments (0)