| 1 | |
| Researcher: | Ashok Kumar |
| Guide: | Mittal, H S |
| University: | Jawaharlal Nehru University |
| Language: | English |
| 2 | Theorem proving: Resolution, non-resolution and by abstraction |
| Researcher: | Tripathy, Priyadarshi |
| Guide: | Sadananda, R |
| University: | Jawaharlal Nehru University |
| Language: | English |
| 3 | |
| Researcher: | Hari Prakash |
| Guide: | Gupta, R G |
| University: | Jawaharlal Nehru University |
| Language: | English |