Results 1-1 of 1 (Search time: 0.003 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
연결 그래프에 바탕을 둔 병렬 정리 증명에 관한 연구 = A study on the parallel theorem proving based on connection graphlink 김병만; Kim, Byeong-Man; 조정완; Cho, Jung-Wan, 한국과학기술원, 1989 |
Discover