Combining many-sorted logic and object-oriented programming

Information and Software Technology - Tập 35 - Trang 241-253 - 1993
B.M. Kim1, K.Y. Ryu2, S.R. Maeng2, J.W. Cho2
1Department of Computer Engineering, Kum-Oh National University of Technology, 188 Shin-Pyung Dong, Kumi, Kyung-Book 730-701, Korea
2Computer Science Department and Center for Artificial Intelligence, Korea Advanced Institute of Science and Technology, Kusung-Dong 373-1, Yusung-Ku, Daejeon 305-701, Korea

Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Information and Software Technology

Tập 35

241-253

Thông tin tác giả