 |
| Topic |
Lecture 4 - Predicates & Quantifiers (Contd.)
 |
| Lecture |
 |
| Notes |
|
| Topic |
Lecture 5 -Logical Inference
|
| Lecture |
|
| Notes |
|
| Topic |
Lecture 6 -Resolution Principles & Application to PROLOG
|
| Lecture |
|
| Notes |
 |
| Bookmarks |
0 Comments
Post a Comment