Answer:the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments. B is the answer.
Explanation: Hope it helped
8.6m questions
11.2m answers