搜索到 篇“ 可判定性 “的相关文章

相关作者

许文艳
作品数：6被引量：15H指数：2
供职机构：陕西师范大学
研究主题：可判定性 R0代数 LINDENBAUM代数 序结构 模糊逻辑
吕建
作品数：411被引量：1,912H指数：25
供职机构：南京大学
研究主题：移动AGENT 面向对象 软件开发 INTERNET 软件体系结构
陈火旺
作品数：242被引量：2,280H指数：25
供职机构：国防科学技术大学计算机学院
研究主题：人工智能 程序设计 计算机 遗传算法 软件工程
韩婷婷
作品数：17被引量：9H指数：2
供职机构：南京大学
研究主题：进程代数 移动计算 环境演算 Π演算 鲁棒
田聪
作品数：156被引量：56H指数：4
供职机构：西安电子科技大学
研究主题：时序逻辑 语句 命题投影时序逻辑 词法 形式化建模