机译:走向用于教学证明的全面知识包:关注误解,认为经验论证是证明
机译:旨在为教学证明提供全面知识包的原始研究:关注误解,认为经验论证是证据Crossref Citations
机译:可有效验证的零知识论点,用于证明知识
机译:可有效验证的零知识论点,用于证明知识
机译:从证明到集中证明:线性逻辑中的模块化模块化证明
机译:教学证明的数学知识
机译:支持数学论证和证明技能:比较顺序和并发教学方法的效力以支持基于资源的认知技能
机译:为教学证明提供全面的知识包:关注经验论证是证据的误解