公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
1990 | Automatic Inductive Theorem Proving Using Prolog | Srivas, M. K.; 項潔; Hsiang, Jieh | Theoretical Computer Science | 0 | 6 | |
1985 | 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. | Proceedings of the Colloquium on Software Engineering(TAPSOFT) | |||
1986 | Prolog-based Inductive Theorem Proving | Hsiang, Jieh; Srivas, M. K.; JIEH HSIANG | 5th Foundations of Software Technolong Theoretical Computer Science |