Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) | Research Supervisor/ Guide | Type |
---|---|---|---|---|
1988 | DEVELOPMENT OF A PREDICATE LOGIC THEOREM PROVER USING RESOLUTION | Agarwal, Navneet | Chaturvedi, Alok K. | M.Tech Dessertation |
1988 | EXPERIMENTAL AND THEORETICAL STUDIES OF SCATTERING BY INFINITE DIELECTRIC CYLINDERS | Tripathi, Ghan Shyam | Agarwal, N. K.; Sinha, B. | M.Tech Dessertation |