Deepak Kapur · 7 obras en el catálogoObrasSymbolic and numerical computation for artificial intelligenceTheoretical Aspects of Computing – ICTAC 2017Geometric reasoningAAutomated ReasoningAutomated ReasoningDDependable Software Engineering : Theories, Tools, and AppliDependable Software Engineering : Theories, Tools, and ApplicationsCComputer MathematicsComputer MathematicsAutomated Deduction - Cade-11
DDependable Software Engineering : Theories, Tools, and AppliDependable Software Engineering : Theories, Tools, and Applications