Symbolic computation; Rewriting logic; Maude;
机译:重写逻辑和Maude中的句子归一化条件缩窄模。
机译:重写逻辑与MAUDE中的句子标准条件缩小模数。
机译:重写逻辑和毛德语中的句子归一化条件缩窄模
机译:重写逻辑和毛德语中的符号推理方法
机译:学习逻辑:研究上下文排序对条件推理的影响的混合方法研究
机译:符号逻辑中的数字计算方法以生物化学为例
机译:通用逻辑,重写逻辑和毛德中的反思
机译:开发用于故障诊断推理的集成数字和符号模型的方法。