24.36 후진 추론의 현대적 응용: 자동 정리 증명(Automated Theorem Proving)
Home
/
거대 AI 마스터클래스
/
Volume 1. 인공지능과 딥러닝의 수학적/구조...
/
Part 1. 인공지능의 철학적 기원과 고전적 기호주의
/
Chapter 24. 추론 엔진의 작동 원리 2:...
/
24.36 후진 추론의 현대적 응용: 자동 정리 ...
24.36 후진 추론의 현대적 응용: 자동 정리 증명(Automated Theorem Proving)