 |
| Topic |
Lecture - 10 Inference in First Order Logic
 |
| Lecture |
 |
| Notes |
|
| Topic |
Lecture - 11 Resolution - Refutation Proofs
|
| Lecture |
|
| Notes |
|
| Topic |
Lecture - 12 Resolution Refutation Proofs
|
| Lecture |
|
| Notes |
 |
| Bookmarks |
0 Comments
Post a Comment