搜索到 篇“ 递归可枚举集 “的相关文章

相关作者

陈晓敏
作品数：21被引量：130H指数：6
供职机构：成都工业学院信息与计算科学系
研究主题：计算机 数学思想 高校开设 确定有限自动机 数学实验课
李昂生
作品数：8被引量：1H指数：1
供职机构：中国科学院软件研究所
研究主题：递归可枚举度 分解定理 可计算性理论 临界性 图灵
丁德成
作品数：25被引量：17H指数：2
供职机构：南京大学数学系
研究主题：开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
何自强
作品数：4被引量：2H指数：1
供职机构：北京航空航天大学计算机学院
研究主题：逻辑系统 可靠性 量词 离散数学 谓词逻辑
闵兰
作品数：23被引量：208H指数：6
供职机构：成都理工大学
研究主题：确定有限自动机 大学数学 教学 矩阵 命题逻辑