Automated deduction
No description available.
Symbolic and mathematical LogicAutomatic theorem provingArtificial intelligenceExpert SystemsLogicProgramming - Software DevelopmentPhilosophy / LogicComputers - General InformationLogic, symbolic and mathematical