首 页
学术站点
知识要闻
国际动态
人 物
研招资料
会议中心
学术指南
课 件
知 识 库
所有栏目
学术站点
知识要闻
国际动态
人物
研招资料
会议中心
学术指南
课件
知识库
所有学科
法学
药学
文学
教育学
心理学
艺术学
统计学
公共管理
工商管理
中国语言
临床医学
机械工程
应用经济学
土木建筑工程
电子科学与技术
生物医学工程
新闻学与传播学
信息科学与系统科学
计算机科学技术
信息与通信工程
管理科学与工程
控制科学与技术
人力资源开发管理
图书馆、情报与档案管理
标题
作者
关键词
摘要
正文
单位
网址
任意词
管理学
>>>
公共管理
>>>
行政管理
城市管理
公共经济与公共政策
教育经济管理
社会保障与公共安全
土地资源管理
社会医学与卫生事业管理
科学学与科技管理
搜索结果:
1-1
共查到
“
公共管理 比赛
”
相关记录1条 . 查询时间(0.117 秒)
中国科学院软件研究所团队获第十六届国际可满足性模理论
比赛
整数差分逻辑组冠军
第十六届 可满足性模理论比赛 整数差分 中国科学院软件研究所
2023/4/17
近日,形式化验证会议CAV 2021公布了第十六届国际可满足性模理论
比赛
(SMT-COMP 2021)结果。中国科学院软件研究所计算机科学国家重点实验室研究员蔡少伟团队研发的求解器获整数差分逻辑(QF_IDL)组冠军,这是中国团队首次在SMT-COMP中获得冠军。
存档文本
原文地址
文献传递
中国研究生教育排行榜
-
条
正在加载...
中国学术期刊排行榜
-
条
正在加载...
世界大学科研机构排行榜
-
条
正在加载...
中国大学排行榜
-
条
正在加载...
人 物
-
篇
正在加载...
课 件
-
篇
正在加载...
视听资料
-
篇
正在加载...
知识库
-
篇
正在加载...
研招资料
-
篇
正在加载...
知识要闻
-
篇
正在加载...
国际动态
-
篇
正在加载...
会议中心
-
篇
正在加载...
学术指南
-
篇
正在加载...
学术站点
-
篇
正在加载...