Semantic and Syntactic Proof Productions 论文

2004Educational Studies in Mathematics引用 264
DOI
Logic, programming, and type systemsMathematics Education and Teaching TechniquesHistory and Theory of Mathematics
Logic, programming, and type systemsHistory and Theory of MathematicsMathematics Education and Teaching Techniques
关系图谱

Semantic and Syntactic Proof Productions · 相关文章

暂无数据