2024年8月25日
星期日
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
广西壮族自治区自然科学基金(0447032)
作品数:
8
被引量:44
H指数:4
相关作者:
王驹
蒋运承
余泉
甘晓丽
申宇铭
更多>>
相关机构:
广西师范大学
黔南民族师范学院
毕节学院
更多>>
发文基金:
广西壮族自治区自然科学基金
国家自然科学基金
广西青年科学基金
更多>>
相关领域:
自动化与计算机技术
理学
医药卫生
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
10个
自动化与计算...
8个
理学
5个
文化科学
4个
哲学宗教
3个
医药卫生
2个
经济管理
2个
生物学
2个
电子电信
1个
天文地球
1个
电气工程
1个
水利工程
1个
社会学
1个
语言文字
1个
自然科学总论
主题
10个
描述逻辑
6个
等价
6个
语义
6个
完备格
5个
代数
5个
循环术语集
5个
知识
5个
教学
5个
TABLEA...
4个
形式化
4个
序集
4个
数学
3个
代数结构
3个
单位元
3个
信息系统
2个
代码
2个
代码自动生成
2个
代码自动生成...
2个
代数性质
2个
定理
机构
10个
广西师范大学
3个
桂林电子科技...
3个
中山大学
2个
广西医科大学...
2个
毕节学院
2个
黔南民族师范...
2个
中国科学院
2个
中国科学院软...
1个
贵州大学
1个
北京大学
1个
广西医科大学
1个
南京大学
1个
华南师范大学
1个
江南大学
1个
广东外语外贸...
1个
四川大学
1个
教育部
1个
中国科学院研...
1个
桂林空军学院
资助
13个
广西壮族自治...
12个
国家自然科学...
10个
广西青年科学...
7个
广西研究生教...
6个
广西研究生教...
5个
贵州省科学技...
5个
贵州省教育厅...
5个
中国科学院计...
4个
广东省自然科...
4个
中国博士后科...
4个
贵州省自然科...
4个
广西省自然科...
4个
教育部“新世...
3个
国家高技术研...
3个
国家重点基础...
3个
广西壮族自治...
3个
广西教育厅科...
3个
贵州省省长基...
3个
国家重点实验...
2个
广州市科技计...
传媒
8个
计算机研究与...
7个
软件学报
6个
计算机学报
5个
广西师范大学...
5个
黔南民族师范...
4个
计算机工程与...
4个
计算机工程与...
4个
计算机科学
3个
模式识别与人...
3个
计算机工程
3个
江西师范大学...
3个
微电子学与计...
3个
计算机应用研...
3个
计算机技术与...
2个
口腔颌面外科...
2个
科技通报
2个
数学的实践与...
2个
福州大学学报...
2个
临床口腔医学...
2个
计算机应用与...
地区
8个
广西
3个
广东省
2个
贵州省
共
13
条 记 录,以下是 1-10
全选
清除
导出
王驹
供职机构:广西师范大学计算机科学与信息工程学院
研究主题:描述逻辑 逻辑系统 循环术语集 语义 不动点语义
发表作品
相关人物
供职机构
所获资助
研究领域
蒋运承
供职机构:华南师范大学
研究主题:描述逻辑 语义WEB 文本 多主体系统 语义
发表作品
相关人物
供职机构
所获资助
研究领域
余泉
供职机构:黔南民族师范学院
研究主题:描述逻辑 中医 保守 LN 逻辑系统
发表作品
相关人物
供职机构
所获资助
研究领域
甘晓丽
供职机构:桂林电子科技大学
研究主题:描述逻辑 偏序集 角色 压平 高频数据
发表作品
相关人物
供职机构
所获资助
研究领域
王代友
供职机构:广西医科大学附属口腔医院
研究主题:腮腺 口腔鳞癌 恶性肿瘤 DNA双链断裂 血管内皮生长因子
发表作品
相关人物
供职机构
所获资助
研究领域
申宇铭
供职机构:广东外语外贸大学思科信息学院
研究主题:描述逻辑 翻译 刻画 本体 循环术语集
发表作品
相关人物
供职机构
所获资助
研究领域
周生明
供职机构:广西师范大学计算机科学与信息工程学院
研究主题:描述逻辑 不动点语义 MSC 语义 毕业论文改革
发表作品
相关人物
供职机构
所获资助
研究领域
李梅
供职机构:广西师范大学数学科学学院
研究主题:TABLEAU算法 描述逻辑 完备格
发表作品
相关人物
供职机构
所获资助
研究领域
曹发生
供职机构:中山大学人文科学学院逻辑与认知研究所
研究主题:描述逻辑 同余 逻辑系统 有穷 LN
发表作品
相关人物
供职机构
所获资助
研究领域
李淑英
供职机构:广西师范大学数学科学学院
研究主题:描述逻辑 TABLEAU算法 完备格 TABLEAUX SI
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张