http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O39612459
1996년
ger
0302-9743
1611-3349
SCOPUS
학술저널
LECTURE NOTES IN COMPUTER SCIENCE
135-146 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
3540620346
Foundations of software technology and theoretical computer science
Annul conference; 16th
Hyderabad
1996; Dec
0
상세조회0
다운로드
Foundations of Software Technology and Theoretical Computer Science
Correcting Type Errors in the Curry System
Immediate Fixpoints and Their Use in Groundness Analysis
Graph Types for Monadic Mobile Processes