http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O14837636
2000년
-
0890-5401
1090-2651
SCI;SCIE;SCOPUS
학술저널
INFORMATION AND COMPUTATION
255-264 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0
상세조회0
다운로드
Complexity of Nilpotent Unification and Matching Problems
Unification Algorithms Cannot Be Combined in Polynomial Time
The Achievement of Knowledge Bases by Cycle Search
Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts