![]() |
| Topic |
Lecture - 13 First Order Logic
| Lecture |
| Notes |
![]() |
| Topic |
Lecture - 14 Reasoning Using First Order Logic
| Lecture |
| Notes |
![]() |
| Topic |
Lecture - 15 Resolution in FOPL
| Lecture |
| Notes |
| Bookmarks |

0 Comments
Post a Comment