 |
| Topic |
Mod-01 Lec-31 Resolution : Soundness and Completeness
 |
| Lecture |
 |
| Notes |
|
| Topic |
Mod-01 Lec-32 Resolution and Tableaux
|
| Lecture |
|
| Notes |
|
| Topic |
Mod-01 Lec-33 Completeness of Tableaux Method
|
| Lecture |
|
| Notes |
 |
| Bookmarks |
0 Comments
Post a Comment