把代数构造方法与归结原理结合起来,开展自动推理及与之相关的领域:E-PROLOG,抽象数据型,代数语义,PETRI网的理论研究与应用探索,开发出有一定实用价值的代数学的计算机辅助证明系统及软件支撑环境,以深化对自动推理的理论和实践认识.
{{i.achievement_title}}
数据更新时间:2023-05-31
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
基于暂态波形相关性的配电网故障定位方法
计算机自动推理
本体的构建理论和推理实现
合情推理模式与计算机模拟
综合质量诊断与控制理论及其计算机实现