2024年8月28日
星期三
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
侯金宏
作品数:
2
被引量:5
H指数:1
供职机构:
广西师范大学数学科学学院
更多>>
发文基金:
中国科学院计算机科学国家重点实验室开放课题基金
国家自然科学基金
贵州省科学技术基金
更多>>
相关领域:
自动化与计算机技术
理学
更多>>
合作作者
张维
黔南民族师范学院数学系
曹发生
毕节学院
蒋运承
华南师范大学计算机学院
王驹
广西师范大学计算机科学与信息工...
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
4个
自动化与计算...
4个
理学
3个
哲学宗教
2个
文化科学
1个
经济管理
1个
语言文字
主题
4个
代数
4个
形式概念分析
4个
有限自动机
4个
知识
3个
单位元
3个
循环术语集
3个
有穷
3个
语义
3个
知识发现
2个
代数结构
2个
代数性质
2个
等价
2个
动态描述逻辑
2个
对象数据模型
2个
信息集成
2个
信息检索
2个
形式化
2个
一阶逻辑
2个
映射
2个
知识领域
机构
4个
广西师范大学
3个
中山大学
2个
毕节学院
2个
中国科学院软...
1个
北京大学
1个
桂林电子科技...
1个
南京大学
1个
华南师范大学
1个
教育部
1个
黔南民族师范...
1个
中国科学院
资助
4个
贵州省科学技...
4个
国家自然科学...
4个
广西壮族自治...
4个
贵州省教育厅...
4个
广西研究生教...
4个
中国科学院计...
3个
贵州省自然科...
3个
广西研究生教...
3个
广西青年科学...
2个
广东省自然科...
2个
国家高技术研...
2个
国家重点基础...
2个
中国博士后科...
2个
广西壮族自治...
2个
广州市科技计...
2个
广西教育科学...
2个
广西教育厅科...
2个
广西省自然科...
2个
贵州省科技厅...
2个
国家教育部博...
传媒
4个
计算机研究与...
4个
计算机工程与...
3个
计算机学报
3个
计算机工程与...
3个
计算机应用与...
3个
江西师范大学...
3个
黔南民族师范...
3个
西南大学学报...
2个
模式识别与人...
2个
福州大学学报...
2个
计算机工程
2个
广西师范大学...
2个
微电子学与计...
2个
软件学报
2个
计算机科学
2个
智能系统学报
2个
计算机技术与...
2个
毕节学院学报...
2个
计算机科学与...
2个
逻辑学研究
地区
2个
广东省
1个
广西
1个
贵州省
共
4
条 记 录,以下是 1-4
全选
清除
导出
王驹
供职机构:广西师范大学计算机科学与信息工程学院
研究主题:描述逻辑 逻辑系统 循环术语集 语义 不动点语义
发表作品
相关人物
供职机构
所获资助
研究领域
蒋运承
供职机构:华南师范大学
研究主题:描述逻辑 语义WEB 文本 多主体系统 语义
发表作品
相关人物
供职机构
所获资助
研究领域
曹发生
供职机构:中山大学人文科学学院逻辑与认知研究所
研究主题:描述逻辑 同余 逻辑系统 有穷 LN
发表作品
相关人物
供职机构
所获资助
研究领域
张维
供职机构:黔南民族师范学院
研究主题:描述逻辑 逻辑系统 LN 同态 互模拟
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张