http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Combining Aspect-Oriented and Strategic Programming
Kalleberg, K. T.; Visser, E. ELSEVIER SCIENCE B.V AMSTERDAM 2006 p.5-30
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language
Aktemur, B.; Kamin, S. ELSEVIER SCIENCE B.V AMSTERDAM 2006 p.31-55
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
Seino, T.; Ogata, K.; Futatsugi, K. ELSEVIER SCIENCE B.V AMSTERDAM 2006 p.57-72
Completeness and Counter-Example Generations of a Basic Protocol Logic
Hasebe, K.; Okada, M. ELSEVIER SCIENCE B.V AMSTERDAM 2006 p.73-92
Automatic Implication Checking for CHR Constraints
Schrijvers, T.; Demoen, B.; Duck, G.; Stuckey, P.; Fruhwirth, T. ELSEVIER SCIENCE B.V AMSTERDAM 2006 p.93-111
From Chemical Rules to Term Rewriting
Bournez, O.; Ibanescu, L.; Kirchner, H. ELSEVIER SCIENCE B.V AMSTERDAM 2006 p.113-134
Typed Mobile Ambients in Maude
Rosa-Velardo, F.; Segura, C.; Verdejo, A. ELSEVIER SCIENCE B.V AMSTERDAM 2006 p.135-161