机译:在稳定模型的一般理论和答案集编程中重新制定情境演算和事件演算
机译:在稳定模型的一般理论和答案集编程中重新制定情境演算和事件演算
机译:通用转换系统上的一阶μ演算及其在情境演算中的应用
机译:情境计算中的动作和其他事件
机译:物理经验和微积分:在跨学科的微积分/物理课程中,学生如何使用物理学来构建有意义的微积分概念的概念化。
机译:猫白血病病毒和猫免疫缺陷病毒阴性猫的牙龈炎与牙结石厚度或牙结石覆盖率和牙龈下细菌的关系
机译:情境演算与事件演算的关系
机译:宏观事件的微积分:进展报告