...
机译:走向数学操作语义学的影响
Operational semanticsCoalgebrasEffectsKleisli categoryComodels;
机译:数学运算语义的模块化与实现
机译:数学运算语义的模块化与实现
机译:语义提示对数学建模的影响:来自单词问题解决和方程构建任务的证据
机译:数学运算语义中的协模型和效应
机译:混合系统的操作语义。
机译:思维操作语义学与大脑操作建筑学:一种对应关系
机译:数学运营语义的调节和效果
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义