Institute for Computing and Information Science, Radboud Universiteit,Nijmegen, The Netherlands;
FB 3, Universitat Bremen, Germany,Computer Science, Jacobs University Bremen, Germany,School of Computer Science, University of Birmingham, UK;
Institute for Computing and Information Science, Radboud Universiteit,Nijmegen, The Netherlands;
机译:Ouroboros:由德国象征性逻辑波恩协会的数学和哲学中的自我参考的正式标准研讨会,德国2018年2月16日至18日
机译:比较非正式程序和正式程序是否会促进数学学习?桥接的好处取决于对数学的态度
机译:用不同的哲学进行数学教学-I形式数学作为偏分物理学
机译:点和写入 - 通过引用记录正式数学
机译:共指,跨文档共指和信息提取方法。
机译:将文本指南文档与正式指南知识库进行集成。
机译:点读 - 通过引用记录正式数学
机译:密西西比流域水资源产量数学模型。第2号中期报告:流域产量的数学模型