Tarski模型外可判定命题的机械化研究

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 药物多种固体形态在片剂表面的微量分析与转变机制研究（国自然，徐嘉，2024）
• 礼乐伦理精神的历史建构（国社科，徐嘉，2023）
• 利之刃或伤之刃？员工雄心人格的内涵结构、双面效应及管理策略研究（国自然，徐嘉，2022）
• 学术期刊中的莎士比亚：外国文学、戏剧和电影期刊莎评研究（1949—2019）（国社科，徐嘉，2020）
• 旋毛虫分泌蛋白rTsP53通过TGF-β1/PINK1/parkin通路上调线粒体自噬减轻肠缺血-再灌注损伤的机制研究（国自然，徐嘉，2018）
• 带权函数的二阶线性常微分方程多点边值问题的谱及其应用（国自然，徐嘉，2012）
• 带强迫项的非线性常微分方程边值问题变号解研究（国自然，徐嘉，2010）
• 中国近现代伦理启蒙研究（国社科，徐嘉，2006）

西南民族大学其他项目

• 长征时期藏彝羌民族与红军的互动及历史记忆研究（国社科，刘芷晗，2025）
• 流动融居背景下川藏地区民族互嵌式社区建设研究（国社科，蓝李焰，2025）
• 基于川西草原产权制创新的社会治理共同体建设研究（国社科，康涛，2025）
• 耐心资本提升企业出口韧性的机制及路径研究（国社科，冯乾彬，2025）
• 清至民国川藏交通带城镇发展与多民族互嵌共生研究（国社科，何永之，2025）
• 民族地区数字信任机制演化与舆情治理研究（国社科，李卫榜，2025）
• 《淮南子》生态哲学思想研究（国社科，夏文利，2025）
• 交往交流交融视域下湘黔桂毗邻片区共享节庆数智传播研究（国社科，吴定勇，2025）

机器证明学科其他项目

• 高维可积模型及特殊解的机械化算法研究（国自然，徐桂琼，2018）
• 点几何及其机器证明（国自然，邹宇，2017）
• 基于微分特征列集和Groebner基的偏微分方程的对称机械化算法（国自然，苏道毕力格，2016）
• 稀疏微分结式理论及其在偏微分方程相关问题中的应用（国自然，张智勇，2016）
• 基于特征列集及对称方法的求解偏微分方程问题机械化算法（国自然，特木尔朝鲁，2015）
• 基于格值逻辑的语言真值α-群锁语义归结自动推理研究（国自然，钟小梅，2015）
• Thomson问题的机械化算法研究（国自然，冷拓，2015）
• 基于吴(文俊)方法的实代数几何中符号计算（国自然，肖水晶，2015）

相关期刊推荐

该学科领域可投稿的高影响期刊：

• ACM Transactions on Human-Robot Interaction（IF 7.000，JCR Q1）
• Robotics（IF 3.600，JCR Q2）