T=题名(书名、题名),A=作者(责任者),K=主题词,P=出版物名称,PU=出版社名称,O=机构(作者单位、学位授予单位、专利申请人),L=中图分类号,C=学科分类号,U=全部字段,Y=年(出版发行年、学位年度、标准发布年)
AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
范例一:(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二:P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016
摘要:介绍了如何实现一个自动化的逻辑程序部分演绎系统,在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构,并分模块描述了它们的功能和实现技术,特别对核心模块──程序部分演绎模块的算法作了较为详细的分析,最后讨论了计算规则和程序改名变形方法对部分演绎结果程序执行效率的影响。
地址:宁波市钱湖南路8号浙江万里学院(315100)
Tel:0574-88222222
招生:0574-88222065 88222066
Email:yzb@zwu.edu.cn