Theoretical Aspects of Computing – ICTAC 2017Dang Van Hung, Deepak Kapur · First published 2017Open the Tome
Dependable Software Engineering : Theories, Tools, and ApplicationsMartin änzle, Deepak Kapur, Naijun Zhan · First published 2016Open the Tome
Automated ReasoningStéphane Demri, Deepak Kapur, Christoph Weidenbach · First published 2014Open the Tome
Symbolic and numerical computation for artificial intelligenceBruce R. Donald, Deepak Kapur, Joseph L. Mundy · First published 1992Open the Tome
