Browsing by Author Chauhan, Alok
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Research Supervisor/ Guide | Type |
|---|---|---|---|---|
| 1988 | AUTOMATIC PROGRAM SYNTHESIS USING KNOWLEDGE BASE AND THEOREM PROVING TECHNIQUES | Chauhan, Alok | Singh, Kuldip | M.Tech Dessertation |