کتاب های Deepak Kapur
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings
Hantao Zhang, Deepak Kapur (auth.), Ewing Lusk, Ross Overbeek (eds.), 1988
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings
Hantao Zhang, Deepak Kapur (auth.), Ewing Lusk, Ross Overbeek (eds.), 1988
Computers and Mathematics
Deepak Kapur, 1989
Programming Logics: Essays in Memory of Harald Ganzinger
Deepak Kapur, 2013
