{{i.achievement_title}}
数据更新时间:2023-05-31
复杂系统科学研究进展
结直肠癌免疫治疗的多模态影像及分子影像评估
智能煤矿建设路线与工程实践
GF-4序列图像的云自动检测
区块链技术:从数据智能到知识自动化
基于归结方法的定理机器证明
定理机器证明
算子模糊逻辑及其推理
计算机自动推理
面向智能体的非单调推理研究
非单调推理和逻辑程序设计系统的研究
非单调推理在动作语言系统刻画中的理论与应用研究
复杂系统模糊推理和自学习模糊控制策略研究