...
机译:基于重写逻辑的声明式编程的方法
Fuzzy sets; Computational linguistics; Mathematical models; Graph theory; Theorem proving;
机译:基于重写逻辑的声明式编程的方法
机译:关于将声明式编排和基于承诺的代理社团集成到SCIFF逻辑编程框架中
机译:模块化程序分析的重写逻辑语义方法
机译:声明式编程的重写逻辑
机译:一种基于知识的方法,用于诊断涉及可编程逻辑控制器的离散过程。
机译:Saul:迈向基于声明式学习的编程
机译:一种基于重写逻辑的声明式编程的方法