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

相关作者

毛宇光
作品数：112被引量：248H指数：9
供职机构：南京航空航天大学计算机科学与技术学院
研究主题：关系数据库 数据库 数据模型 协调数据库 中介逻辑
徐长宝
作品数：2被引量：0H指数：0
供职机构：上海交通大学
研究主题：可靠性指标 谓词演算 谓词 变电站保护 保护系统
江明德
作品数：15被引量：11H指数：3
供职机构：电子科技大学计算机科学与工程学院计算机系
研究主题：程序设计 面向对象 体裁 人工智能 面向对象程序
艾波
作品数：58被引量：444H指数：9
供职机构：北京邮电大学计算机学院
研究主题：电信运营支撑系统 软件体系结构 SDL 面向对象 SDL语言
郭星明
作品数：30被引量：40H指数：4
供职机构：浙江经济职业技术学院
研究主题：管理信息系统 本体 管理信息 中间件 中间件系统