연결그래프에 바탕을 둔 병렬정리증명에 관한 연구

A Study on the Parallel Theorem Proving Based on Connection Graph
제목
연결그래프에 바탕을 둔 병렬정리증명에 관한 연구
제목 (타언어)
A Study on the Parallel Theorem Proving Based on Connection Graph
저자
Kim, Byeong-Man
발행일
1989-02