共 50 条
- [2] The development of computational estimation in the transition from informal to formal mathematics education [J]. European Journal of Psychology of Education, 2021, 36 : 845 - 864
- [3] The Transition From "Informal Knowledge/Formal Knowledge'' And Its Didactic Management System In Mathematics [J]. 3RD CYPRUS INTERNATIONAL CONFERENCE ON EDUCATIONAL RESEARCH (CY-ICER 2014), 2014, 143 : 687 - 692
- [4] MATHEMATICS IN KINDERGARTEN - FORMAL OR INFORMAL [J]. ELEMENTARY SCHOOL JOURNAL, 1967, 67 (06): : 338 - 341
- [8] Formal Processing of Informal Meaning by Abstract Interpretation [J]. SMART DIGITAL FUTURES 2014, 2014, 262 : 122 - 131
- [10] From Mathematics to Abstract Machine A formal derivation of an executable Krivine machine [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (76): : 163 - 177