搜索到 篇“ TABLEAUX “的相关文章

相关作者

李淑英
作品数：2被引量：10H指数：1
供职机构：广西师范大学数学科学学院
研究主题：描述逻辑 TABLEAU算法 完备格 TABLEAUX SI
田东平
作品数：31被引量：134H指数：5
供职机构：宝鸡文理学院
研究主题：粒子群优化 粒子群优化算法 图像语义 惯性权重 早熟收敛
蒋运承
作品数：113被引量：656H指数：15
供职机构：华南师范大学
研究主题：描述逻辑 语义WEB 文本 多主体系统 语义
申宇铭
作品数：16被引量：56H指数：4
供职机构：广东外语外贸大学思科信息学院
研究主题：描述逻辑 翻译 刻画 本体 循环术语集
赵晓非
作品数：6被引量：30H指数：1
供职机构：天津工业大学计算机科学与软件学院
研究主题：知识传播 领域自适应 迁移 DYNAMIC DESCRIPTION