Automated Reasoning
Automated Reasoning
Details
- OL Work ID
- OL25689422W
Subjects
Artificial intelligenceSoftware engineeringLogicArtificial Intelligence (incl. Robotics)Computer scienceLogic designElectronic data processingMathematical Logic and Formal LanguagesLogics and Meanings of ProgramsMathematics of ComputingNumeric Computing