정리 및 프로그램의 사회적 과정과 증명 (1979)Social Processes and Proofs of Theorems and Programs (1979)▲ 5 · dl.acm.org · 88일 전 · 0 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…