2024年8月31日
星期六
|
欢迎来到叙永县图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
赵希顺
作品数:
25
被引量:16
H指数:2
供职机构:
中山大学人文科学学院逻辑与认知研究所
更多>>
发文基金:
国家自然科学基金
国家社会科学基金
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
理学
哲学宗教
电子电信
更多>>
合作作者
丁德成
扬州大学理学院数学系
沈榆平
中山大学人文科学学院逻辑与认知...
孙永新
仲恺农业工程学院计算机科学与工...
邱玉文
中山大学人文科学学院逻辑与认知...
张燕
中山大学人文科学学院逻辑与认知...
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
10个
自动化与计算...
9个
理学
5个
哲学宗教
3个
经济管理
3个
电子电信
3个
文化科学
2个
社会学
1个
化学工程
1个
机械工程
1个
自然科学总论
主题
8个
英文
6个
逻辑
6个
可满足性
5个
可计算性
4个
定理
4个
数学
3个
动点
3个
多项式
3个
多项式时间
3个
形式化
3个
语义
2个
大学数学
2个
等价
2个
递归
2个
递归论
2个
电子商务
2个
调度
2个
断言
2个
信息素
2个
一阶逻辑
机构
8个
中山大学
5个
南京大学
2个
北京大学
2个
汕头大学
2个
仲恺农业工程...
1个
贵州大学
1个
广西师范大学
1个
桂林电子科技...
1个
河南科技大学
1个
清华大学
1个
教育部
1个
扬州大学
1个
浙江师范大学
1个
中国科学院软...
资助
12个
国家自然科学...
3个
国家高技术研...
3个
国家社会科学...
3个
国家重点基础...
2个
广东省自然科...
2个
贵州省科学技...
2个
江苏省自然科...
2个
中国博士后科...
2个
贵州省自然科...
2个
贵州省教育厅...
2个
广西青年科学...
2个
广西省自然科...
2个
贵州省省长基...
2个
国家教育部博...
2个
教育部“新世...
1个
广东省科技攻...
1个
贵州省科技攻...
1个
教育部留学回...
1个
宁夏回族自治...
1个
广西壮族自治...
传媒
6个
逻辑学研究
5个
软件学报
4个
南京大学学报...
4个
计算机科学
3个
科学通报
3个
计算机研究与...
3个
模式识别与人...
3个
中国科学(A...
3个
计算机学报
3个
计算机工程与...
3个
计算机应用与...
3个
中山大学学报...
3个
计算机应用
3个
计算机应用研...
3个
计算机工程与...
3个
计算机科学与...
2个
数学学报(中...
2个
华中科技大学...
2个
湖南师范大学...
2个
计算机工程
地区
7个
广东省
2个
江苏省
1个
浙江省
1个
广西
1个
贵州省
共
13
条 记 录,以下是 1-10
全选
清除
导出
丁德成
供职机构:南京大学数学系
研究主题:开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
发表作品
相关人物
供职机构
所获资助
研究领域
沈榆平
供职机构:中山大学人文科学学院逻辑与认知研究所
研究主题:英文 回答集编程 逻辑程序 相变 大学逻辑
发表作品
相关人物
供职机构
所获资助
研究领域
邱玉文
供职机构:中山大学人文科学学院逻辑与认知研究所
研究主题:表示式 LAR GU 算子 可计算性
发表作品
相关人物
供职机构
所获资助
研究领域
孙永新
供职机构:仲恺农业工程学院信息科学与技术学院
研究主题:描述逻辑 叶形 基于多尺度 曲率尺度空间 语义WEB服务
发表作品
相关人物
供职机构
所获资助
研究领域
金继伟
供职机构:中山大学
研究主题:消解 可满足性 英文
发表作品
相关人物
供职机构
所获资助
研究领域
张燕
供职机构:中山大学人文科学学院逻辑与认知研究所
研究主题:谨慎 动作语言 语义
发表作品
相关人物
供职机构
所获资助
研究领域
许道云
供职机构:贵州大学计算机科学与技术学院
研究主题:SAT问题 极小不可满足公式 正则 英文 收敛性
发表作品
相关人物
供职机构
所获资助
研究领域
苏开乐
供职机构:浙江师范大学数理与信息工程学院
研究主题:开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
发表作品
相关人物
供职机构
所获资助
研究领域
冯世光
供职机构:中山大学
研究主题:SO 逻辑 英文 HORN逻辑 可满足性
发表作品
相关人物
供职机构
所获资助
研究领域
喻良
供职机构:南京大学
研究主题:可计算性理论 存在性 不可数 LR 归约
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张