Lakehead University (Canada).;
机译:将输入OF(·)归纳定义编译为IDP3的表序言规则
机译:将Prolog编译为惯用Java
机译:使用手写编译器生成器在Prolog中进行离线专业化
机译:将Prolog编译为逻辑虚拟机
机译:嵌入式Java虚拟机中的动态编译器。
机译:c军N末端激酶的延长与肿瘤坏死因子α诱导的人类软骨细胞死亡相关。
机译:麻醉学中的虚拟化。麻醉学重点作为机器人虚拟机的虚拟环境。麻醉机器人手术的未来
机译:prolog技术定理证明:由扩展的prolog编译器实现。