DSpace at KOASAS
Search

Search

Start a new search
Current filters:
Add filters:
  • Results/Page
  • Sort items by
  • In order
  • Authors/record

Results 1-1 of 1 (Search time: 0.005 seconds).

NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
1
연결 그래프에 바탕을 둔 병렬 정리 증명에 관한 연구 = A study on the parallel theorem proving based on connection graphlink

김병만; Kim, Byeong-Man; 조정완; Cho, Jung-Wan, 한국과학기술원, 1989

Discover

Date issued

Author

rss_1.0 rss_2.0 atom_1.0