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
关系图谱

2

作者

0

相关技术

0

相关事件

0

相关文章

作者查看全部 (2)

L

Lara Alcock

K

Keith Weber

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据