section_path: Reason in particular fields of study/Computer science/Automated reasoning
section_name: Automated reasoning
paragraph_text: Automated reasoning
  
  In artificial intelligence and computer science, scientists study and use automated reasoning for diverse applications including automated theorem proving the formal semantics of programming languages, and formal specification in software engineering.