搜索到 篇“ 谓词演算 “的相关文章

相关作者

毛宇光
作品数：112被引量：248H指数：8
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：关系数据库 数据库 数据模型 协调数据库 中介逻辑
徐长宝
作品数：2被引量：0H指数：0
供职机构：上海交通大学
研究主题：可靠性指标 谓词演算 谓词 变电站保护 保护系统
江明德
作品数：15被引量：11H指数：3
供职机构：电子科技大学计算机科学与工程学院计算机系
研究主题：程序设计 面向对象 体裁 人工智能 面向对象程序
艾波
作品数：56被引量：438H指数：9
供职机构：北京邮电大学计算机学院
研究主题：软件体系结构 电信运营支撑系统 SDL 面向对象 抽象状态机
龚启荣
作品数：37被引量：18H指数：2
供职机构：贵州大学
研究主题：制约逻辑 逻辑 新知 实质蕴涵 人工智能