24.36 후진 추론의 현대적 응용: 자동 정리 증명(Automated Theorem Proving)

24.36 후진 추론의 현대적 응용: 자동 정리 증명(Automated Theorem Proving)