Deepak Kapur
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryTA
Theoretical Aspects of Computing – ICTAC 2017
cover - Image source: Open LibrarySA
Symbolic and numerical computation for artificial intelligence
cover - Image source: Open LibraryAD
Automated Deduction - Cade-11
cover - Image source: Open LibraryGR
Geometric reasoning
cover - DSDependable Software Engineering...Deepak Kapur
Dependable Software Engineering : Theories, Tools, and Applications
no cover - ARAutomated ReasoningDeepak Kapur
Automated Reasoning
no cover - CMComputer MathematicsDeepak Kapur
Computer Mathematics
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Theoretical Aspects of Computing – ICTAC 2017
- Open Work
Symbolic and numerical computation for artificial intelligence
- Open Work
Automated Deduction - Cade-11
- Open Work
Geometric reasoning
- Open Work
Dependable Software Engineering : Theories, Tools, and Applications
- Open Work
Automated Reasoning
- Open Work
Computer Mathematics