Author Info
Name
Affiliation
Papers
J. W. CHO
Computer Science Department and Center for Artificial Intelligence, Korea Advanced Institute of Science and Technology, Kusung-Dong 373-1, Yusung-Ku, Daejeon 305-701, Korea
1
Collaborators
Citations 
PageRank 
3
5
0.67
Referers 
Referees 
References 
6
17
9
Title
Citations
PageRank
Year
Combining many-sorted logic and object-oriented programming50.671993