https://scholars.lib.ntu.edu.tw/handle/123456789/115431
標題: | A Prolog Environment for Developing and Reasoning About Data Types | 作者: | 項潔 Srivas, M. K. Goos, G. Hartmanis, J. Barstow, D. Brauer, W. Hansen, P. Brinch Gries, D. Luckham, D. Moler, C. Pnueli, A. Seegmüller, G. Stoer, H. Wirth, N. |
公開日期: | 五月-1985 | 出版社: | Berlin: Springer-Verlag | 起(迄)頁: | 276-293 | 來源出版物: | Proceedings of the Colloquium on Software Engineering(TAPSOFT) | URI: | http://ntur.lib.ntu.edu.tw//handle/246246/118521 |
顯示於: | 資訊工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。