Is there any web-based course or materials about logic / automatic theorem proving? (I checked MIT's OpenCourseWare and I only found a vaguely related AI course)
Intro to automatic theorem proving / logical foundations?
user641
- 161
- 1
- 3