 |
| Topic |
Mod-01 Lec-34 Lecture-34-Syntatic Interpretation
 |
| Lecture |
 |
| Notes |
|
| Topic |
Mod-01 Lec-35 Lecture-35-Herbrand's Theorem
|
| Lecture |
|
| Notes |
|
| Topic |
Mod-01 Lec-36 Lecture-36-Most General Unifiers
|
| Lecture |
|
| Notes |
 |
| Bookmarks |
0 Comments
Post a Comment