黄沛-CCF博士学位论文激励计划提名-中国计算机学会

English 站点地图联系我们常见问题下载CCFLink CCF招聘登录

您的位置：首页 > 会员 > 个人会员 > 会员荣誉 > CCF博士学位论文激励计划提名

黄沛

2023

阅读量：0 马琳收藏本文

黄沛

培养单位：中国科学院软件研究员

导师：张健研究员

论文题目：《逻辑公式可满足性判定中的推理技术研究》

收藏本文

<<< 上一篇无

汪庆下一篇 >>>

<<< 下一篇汪庆

读完这篇文章后，您心情如何？

[ 0 ]人参与 (点击查看)

匿名评论所有评论仅代表网友意见

推荐内容

More >>>

CCFLink下载