Non abbiamo ancora una biografia di Deepak Kapur.
Pubblicato in Inglese
Automated Reasoning
2014
Theoretical Aspects of Computing – ICTAC 2017
2017
Symbolic and numerical computation for artificial intelligence
1992
Geometric reasoning
1989
Dependable Software Engineering : Theories, Tools, and Applications
2016
Computer Mathematics
2008
Automated Deduction - Cade-11
Otium
