跳至内容
周一. 11 月 18th, 2024
课程图谱博客
在线公开课的知识图谱
首页
课程图谱
公开课导航
公开课评论
关于
标签：
自动推理
Coursera
自动推理：符号模型检查课程介绍与评测
2024 年 10 月 11 日
CourseEye
课程主页: https://www.coursera.org…
Coursera
课程介绍与评测：自动推理：可满足性
2024 年 10 月 11 日
CourseEye
课程主页: https://www.coursera.org…
Coursera
深入探索自动推理：符号模型检查课程评测与推荐
2024 年 9 月 27 日
CourseEye
课程主页: https://www.coursera.org…
Coursera
深入学习SAT/SMT：解决问题的自动推理课程推荐
2024 年 9 月 27 日
CourseEye
课程主页: https://www.coursera.org…
You missed
Coursera
深入探索3D打印与增材制造课程：数码时代的创造力
2024 年 10 月 12 日
CourseEye
Coursera
深入探讨《会计数据分析》课程：提升会计专业人士的数据分析技能
2024 年 10 月 12 日
CourseEye
Coursera
提升大学成功的学术技能课程评测与推荐
2024 年 10 月 12 日
CourseEye
Coursera
提升写作技能的绝佳课程推荐——加州大学欧文分校的学术英语：写作课程
2024 年 10 月 12 日
CourseEye