Automated deduction

Automated deduction
Details
- OL Work ID
- OL18228165W
Subjects
Symbolic and mathematical LogicAutomatic theorem provingArtificial intelligenceExpert SystemsLogicProgramming - Software DevelopmentPhilosophy / LogicComputers - General InformationLogic, symbolic and mathematical