ScholarWorks@국립금오공과대학교

상세 보기

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

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

ScholarWorks@국립금오공과대학교

경상북도 구미시 대학로 61 (39177) Tel. +82 54-478-7170

COPYRIGHT © 국립금오공과대학교 All Rights Reserved.

Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.

You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.