Research Concept
Automated reasoning
Automated reasoning is a scholarly concept indexed by CitedEvidence.
Works
31,591
Citations
67,288
Level
2
OpenAlex ID
C195344581
Research Concept
Automated reasoning is a scholarly concept indexed by CitedEvidence.