Deepak Kapur
Deepak Kapur
2 books in the database
Books
Co-authored books and collections
Books that list Deepak Kapur among their authors but not as the lead author: co-written works, collections and compilations.
Symbolic and numerical computation for artificial intelligenceBruce R. Donald
Symbolic and numerical computation for artificial intelligence
Bruce R. Donald · 1992
Theoretical Aspects of Computing – ICTAC 2017Dang Van Hung
Theoretical Aspects of Computing – ICTAC 2017
Dang Van Hung · 2017
Dependable Software Engineering : Theories, Tools, and ApplicationsMartin änzle
Dependable Software Engineering : Theories, Tools, and Applications
Martin änzle · 2016
Automated ReasoningStéphane Demri
Automated Reasoning
Stéphane Demri · 2014