| 1 | Theorem proving: Resolution, non-resolution and by abstraction | |
| Researcher: | Tripathy, Priyadarshi | |
| Guide: | Sadananda, R | |
| University: | Jawaharlal Nehru University | |
| Language: | English | |
| 2 | ||
| Researcher: | Gopal Krishna, Oruganti Venu | |
| Guide: | Sadananda, R | |
| University: | Jawaharlal Nehru University | |
| Language: | English | |
| 3 | ||
| Researcher: | Vijay Kumar | |
| Guide: | Sadananda, R | |
| University: | Jawaharlal Nehru University | |
| Language: | English | |
| 4 | The impact of computer information systems on a traditional industrial sector in India | |
| Researcher: | Jujjuvarapu, Adiseshu | |
| Guide: | Sadananda, R | |
| University: | Jawaharlal Nehru University | |
| Language: | English | |
| Shodhganga | ||