-
张维
-
-
- 所属机构:黔南民族师范学院
- 所在地区:贵州省 都匀市
- 研究方向:自动化与计算机技术
- 发文基金:贵州省教育厅自然科学研究项目
相关作者
- 余泉
- 作品数：33被引量：64H指数：4
- 供职机构：黔南民族师范学院
- 研究主题：描述逻辑 中医 保守 LN 逻辑系统
- 曹发生
- 作品数：33被引量：42H指数：4
- 供职机构：中山大学人文科学学院逻辑与认知研究所
- 研究主题：描述逻辑 同余 逻辑系统 有穷 LN
- 王驹
- 作品数：77被引量：250H指数：12
- 供职机构：广西师范大学计算机科学与信息工程学院
- 研究主题：描述逻辑 逻辑系统 循环术语集 语义 不动点语义
- 蒋运承
- 作品数：111被引量：655H指数：15
- 供职机构：华南师范大学
- 研究主题：描述逻辑 语义WEB 文本 多主体系统 语义
- 周锦程
- 作品数：34被引量：97H指数：6
- 供职机构：黔南民族师范学院
- 研究主题：优化算法 图像融合 小波变换 可扩展 SAT问题
