Results 1-2 of 2 (Search time: 0.005 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 | |
AND/OR 프로세스 모델에서 실패 분석을 이용한 효율적인 backtracking = Intelligent backtracking with cause analysis in the AND/OR process modellink 변성원; Byon, Sung-Won; 최광무; Choe, Kwang-Moo, 한국과학기술원, 1989 |
Discover