共 50 条
- [2] Computer programming as mathematics in a programming language and proof system CL [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 42 - 43
- [4] DISCO: A Functional Programming Language for Discrete Mathematics [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (382): : 64 - 81
- [6] LANGUAGE FACTORS IN LEARNING MATHEMATICS [J]. REVIEW OF EDUCATIONAL RESEARCH, 1972, 42 (03) : 359 - 385
- [7] LANGUAGE, POWER AND MATHEMATICS LEARNING [J]. PME 30: PROCEEDINGS OF THE 30TH CONFERENCE OF THE INTERNATIONAL GROUP FOR THE PSYCHOLOGY OF MATHEMATICS EDUCATION, VOL 1,, 2006, : 294 - 294
- [10] Abacus as a Programming Language: Computer Science and History of Mathematics [J]. CULTURES OF MATHEMATICS AND LOGIC, 2016, : 43 - 59