Shodhbhagirathi: A Repository of Theses & Dissertations of IITR
Browsing by Author Patra, Ratan Kumar
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Research Supervisor/ Guide | Type |
|---|---|---|---|---|
| 1992 | AN APPROACH TO AUTOMATED REASONING | Patra, Ratan Kumar | Joshi, R. C. | M.Tech Dessertation |