Deepak Kapur profile picture

Deepak Kapur

Stand Alone

Automated Deduction - Cade-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Lecture ... Computer Science / Lecture Notes in Artific)
Theoretical Aspects of Computing – ICTAC 2017
Theoretical Aspects of Computing – ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Computer Mathematics
Geometric Reasoning (Special Issues of Artificial Intelligence)