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 |