2025년 정보처리기사 대비 문항 1486번 - 기출문제 및 해설

문제 1

Putnam 모형을 기초로 해서 만든 자동화 추정 도구는?