Refine your search
Availability
-
Authors
-
Holding libraries
-
Item types
-
Series
-
Topics
- ; Artificial Intelli...
- ; Computer Science a...
- ; IIT Khargpur
- ; NPTEL
- ; P. Dasgupta
- Artificial Intellige...
- Artificial Intellige...
- Computer Science and...
- First Order Logic
- First order Logic
- IIT Kharagpur
- Inference in First O...
- NPTEL
- Prof. Anupam Basu,Pr...
- Prof. P. Dasgupta
- Reasoning Using Firs...
- Show more
- Show less