Assertion: automated reasoning | /r/HasProperty | the area of computer science
Facets:
Source sentences:
text: Automated reasoning is the area of computer science that is concerned with applying reasoning in the form of logic to computing systems.