{{i.achievement_title}}
数据更新时间:2023-05-31
基于铁路客流分配的旅客列车开行方案调整方法
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
新型树启发式搜索算法的机器人路径规划
"多对多"模式下GEO卫星在轨加注任务规划
面向生物遗传的计算机算法及其实现
面向生物大分子的计算机算法及数据库
面向定理证明的计算机并行算法
数学定理机器证明的基础研究与软件开发
定理机器证明
数学定理近似证明的基础研究与应用软件开发