11 lines
443 B
Markdown
11 lines
443 B
Markdown
---
|
|
title: 学硕专硕_智能系统分析与验证
|
|
---
|
|
|
|
授课老师：[李建文老师](https://faculty.ecnu.edu.cn/_s43/ljw2/main.psp)
|
|
|
|
好老师！
|
|
|
|
- [讲义](https://drive.vanillaaaa.org/SharedCourses/postgraduate/软件工程学院/学硕专硕_智能系统分析与验证/讲义)
|
|
- [cdcl-example.pdf](https://drive.vanillaaaa.org/SharedCourses/postgraduate/软件工程学院/学硕专硕_智能系统分析与验证/cdcl-example.pdf)
|