Deepak Kapur
3 published titles
Geometric reasoning
(Contributor)
1 edition
- ISBN: 0262610582
- MIT Press
- 1989
- Details
Symbolic and numerical computation for artificial intelligence
(Contributor)
1 edition
- ISBN: 0122205359
- Academic
- 1992
- Details
Automated reasoning : 7th international joint conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings
(Contributor)
1 edition
- ISBN: 9783319085869
- Springer
- 2014
- Details
