Concepedia
Publication | Closed Access
Shadowy vision: spanners in the mechanization of mathematics
19
Citations
4
References
2004
Year
Theoretical MathematicsFoundation Of MathematicsShadowy VisionDiscrete Mathematics
Page 1