Yazar
Deepak Kapur
7 cilt bulundu.
Cilt sonuçları
Geometric reasoning
Deepak Kapur, Joseph L. Mundy · MIT Press
512 sayfa · 1989
Computer vision / Robotics / Congresses / Artificial intelligence / Automatic theorem proving
Theoretical Aspects of Computing – ICTAC 2017
Dang Van Hung, Deepak Kapur · Springer
325 sayfa · 2017
Software engineering / Logic design / Artificial intelligence
Symbolic and numerical computation for artificial intelligence
Bruce R. Donald, Deepak Kapur, Joseph L. Mundy · Academic Press
369 sayfa · 1992
Congresses / Artificial intelligence
Automated Reasoning
Stéphane Demri, Deepak Kapur, Christoph Weidenbach · Springer
528 sayfa · 2014
Artificial intelligence / Software engineering / Logic / Artificial Intelligence (incl. Robotics) / Computer science
Dependable Software Engineering : Theories, Tools, and Applications
Martin änzle, Deepak Kapur, Naijun Zhan · Springer International Publishing AG
323 sayfa · 2016
Software engineering