论文部分内容阅读
一种描述逻辑程序执行过程的新方法
【机 构】
：
国防科学技术大学
【出 处】
：
中国计算机学会PROLOG语言学术讨论会
【发表日期】
：
1985年期
其他文献
ＨＩＴ－ＴＭＳ－１００型刀具破损监控系统的研制哈尔滨工业大学姚英学，王东鹏，袁哲俊主题词：刀具破损，监控１概述在柔性制造系统的各个环节中，刀具的一稳定性、一致性最差，工作环境最恶劣，极易损坏。一旦刀
如何更新卧式浆池蜗轮推进器孟庆林江苏沛县造纸厂关键词蜗轮推进器，螺旋浆推进器，更换我厂浆池在使用过程中，发现蜗轮推进器效率’低、效果差，浓度稍高或浆装得满一点，就出现循环