Deepak Kapur

ספרים שבהם Deepak Kapur מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Symbolic and numerical computation for artificial intelligenceBruce R. Donald

Symbolic and numerical computation for artificial intelligence

Bruce R. Donald · 1992

Theoretical Aspects of Computing – ICTAC 2017Dang Van Hung

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung · 2017

Dependable Software Engineering : Theories, Tools, and ApplicationsMartin änzle

Dependable Software Engineering : Theories, Tools, and Applications

Martin änzle · 2016

Automated ReasoningStéphane Demri

Automated Reasoning

Stéphane Demri · 2014