Universite de Sherbrooke (Canada);
机译:以编程语言集成离散控制器的综合功能
机译:后对象编程。从外观语言到组件语言
机译:使用质量改进方法为癌症患者创建省级健康导航计划第3部分-计划评估和结果分析
机译:由教师帮助的约束逻辑编程
机译:并行和并发逻辑编程语言
机译:使用质量改进方法创建省级癌症患者健康导航计划第3部分-计划评估和结果分析
机译:逻辑程序设计的新语义捕获了稳定模型的语义:扩展的语义
机译:CDC 6000系列计算机的FORTRaN编程和语言课程第六部分计算和逻辑订单