-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=代数素模型 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
完全稠密二叉偏序理论可量词消去的新证明
《北京师范大学学报（自然科学版）》2008年第2期111-114,共4页傅莺莺 沈复兴 吴茂念 
国家自然科学基金资助项目(60310213)
利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明.
关键词：量词消去 完全稠密二叉偏序 代数素模型 简单闭性质 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部