Functions of Open Flow-chart Proving in introductory lessons of formal proof-猫眼课题宝

开放流程图证明在形式证明入门课中的作用

DOI：

--

发表时间：

2014

期刊：

Proceedings of the Joint Meeting of PME 38 and PME-NA 36

影响因子：

--

通讯作者：

中科院分区：

--

文献类型：

--

作者：

Miyazaki;M.;Fujita;T.;and Jones;K.