机译:在稳定模型的一般理论和答案集编程中重新制定情境演算和事件演算
机译:在稳定模型的一般理论和答案集编程中重新制定情境演算和事件演算
机译:类型化答案集编程Lambda演算理论及其反Lambda算法的正确性
机译:使用答案集编程进行定性空间推理的轨迹演算
机译:使用目标导向约束答案集编程的事件演算中的建模和推理
机译:将模态微积分添加到指令集过程微积分。
机译:噪声激发并集成的神经元网络的事件驱动数学框架:通过随机演算训练峰值统计信息受排队论启发的网络分析和事件驱动模拟器
机译:重构形势微积分与事件演算 稳定模型的一般理论和答案集编程
机译:编程语言的问题特征:情境 - 微积分方法。第一部分。转让声明