关键词: 现代战争  算法  美军  现代科学技术  改写  智能化趋势  技术支撑  自动推理  

2018年第07期 《军事文摘》

关键词: 等高线  自动推理  2维二元研究  数字化  

2004年第01期 《测绘通报》

关键词: 自动推理  知识编译  扩展规则  超扩展规则  子句集  epcccl理论  规约规则  相邻子句规约  

2019年第12期 《哈尔滨工程大学学报》

关键词: 人工智能  问题求解  形式化方法  自动推理  dpll  子句学习  演算  细胞膜演算  

2019年第04期 《哈尔滨工程大学学报》

关键词: 实时判卷  离散数学  自动推理  自主学习  

2019年第02期 《大学数学》

关键词: 主题图  元数据语义  内容管理  智能检索  信息资源  检索方法  资源分类  tms  分类管理  自动推理  

2005年第09期 《计算机应用与软件》

关键词: 自动推理  自动解题  双向推理  初等几何  

2004年第11期 《计算机应用研究》

关键词: 自动推理  扩展规则  模型计数  极大项空间  启发式策略  

2019年第05期 《东北大学学报·自然科学版》

关键词: 形式化表示  自动推理  知识管理  几何知识库  

2018年第05期 《信息技术》

关键词: 故障诊断专家系统  生产流水线  自动推理  搜索  不精确推理  模糊推理  交互式  透明性  设备故障  

2004年第05期 《冶金自动化》

关键词: 装配序列  obdd  自动推理  

2005年第01期 《桂林电子科技大学学报》

关键词: 自动推理  扩展规则  局部搜索  精确格局检测  双向半扩展规则  反向求解  

2018年第04期 《计算机学报》

关键词: 深度包检测  深度流检测  协议识别  自动推理  支持向量机  安全防护  

2018年第03期 《现代电子技术》

关键词: 数学定理  机械化证明  吴文俊  自动推理  张景中  消点法  吴两法  

2004年第02期 《高等数学研究》

关键词: 科幻电影  处理日常事务  深层理解  通信技术  软件应用  手机应用  物联网  自然语言处理  电视机顶盒  自动推理  

2017年第01期 《电信快报》

关键词: 决策树分类  多维属性  自动推理  相似度度量策略  机器学习  

2017年第02期 《计算机与现代化》

关键词: 自动推理  语义归结  删除策略  格值逻辑  相容性  

2016年第11期 《辽宁工程技术大学学报·自然科学版》

关键词: 机器人控制  可佳  节目形式  智能机器人  联欢晚会  环境感知  自动推理  标准测试  知识获取  人机交互  

2016年第11期 《家教世界》

关键词: 次协调逻辑  标记逻辑  自动推理  

2006年第01期 《武汉大学学报·理学版》

关键词: 智能工程  教育平台  数学教育  工具  新课改  基础教育课程改革  自动推理  教育软件  

2007年第04期 《中学数学教学参考》