Browsing by Author Agarwal, Navneet
Showing results 1 to 1 of 1
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 |