机译:通过逻辑编程向高中学生介绍计算机科学
机译:具有定点语义的逻辑谓词介绍。第一部分:逻辑编程
机译:自动化基础:可编程逻辑控制器:硬件,软件架构
机译:日本小学教师为引入计算机程序设计教育做好准备
机译:可编程逻辑控制器在工业工程课程中的介绍
机译:通过链接到书目搜索来扩展诊断决策支持程序的功能:在快速医学参考(QMR)程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
机译:具有结构化背景知识的学习逻辑程序☆☆本文的扩展摘要发表在:L.De Raedt(Ed。),第五届国际归纳逻辑编程研讨会论文集,日本东京,1995年,第53-76页,鲁汶大学(Keholieke Leuven)计算机科学系的科学报告,以及会议后论文集:L.De Raedt(Ed。),归纳逻辑程序设计进展,IOS出版社,阿姆斯特丹/欧姆沙,东京,1996年,第pp。 172–191。
机译:铀资源模型研究。第四部分。逻辑:构建遗传地质模型集成逻辑电路的计算机图形程序。进度报告