D
Deepak Kapur
7 works on record
Works

Symbolic and numerical computation for artificial intelligence

Theoretical Aspects of Computing – ICTAC 2017

Geometric reasoning

Automated Deduction - Cade-11
Dependable Software Engineering : Theories, Tools, and Applications
Dependable Software Engineering : Theories, Tools, and Applications
Automated Reasoning
Automated Reasoning
Computer Mathematics
Computer Mathematics