Kapur, Deepak.
Deepak Kapur Computer Scientist, Ph.D. Massachusetts Institute of Technology 1980
VIAF ID: 42500852 ( Personal )
Permalink: http://viaf.org/viaf/42500852
Preferred Forms
- 100 0 _ ‡a Deepak Kapur ‡c Computer Scientist, Ph.D. Massachusetts Institute of Technology 1980
- 100 1 _ ‡a Kapur, Deepak
-
- 100 1 _ ‡a Kapur, Deepak
- 100 1 0 ‡a Kapur, Deepak
- 100 1 _ ‡a Kapur, Deepak
-
-
-
-
-
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Automated deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings | |
Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings | |
CADE-11 | |
Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : revised and invited papers | |
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings | |
Geometric reasoning | |
Logic, mathematics and computer science : interactions, in honor of Bruno Buchberger (60 th birthday) | |
Symbolic and numerical computation for artificial intelligence | |
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings | |
Towards a theory for abstract data types [microvorm] |