机译:定语元语法在替代设计的形式结构语言描述和可扩展电信网络的布局编程中的特殊情况第2部分。定语语法的形式属性
机译:通过逻辑编程规范形式语法中的推理过程
机译:通过逻辑编程规范形式语法中的推理过程
机译:非单调函数的不动点的定理及其在逻辑程序设计和形式语法中的应用
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:形式逻辑及其在医学中的应用概述-II。
机译:属性语法的部分正确性证明以及递归过程和逻辑编程的应用
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。