发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Algebraic reasoning and completeness in typed languages

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Algebraic reasoning and completeness in typed languages

Riecke, Jon G.; Subrahmanyam, Ramesh

作者Riecke, Jon G.; Subrahmanyam, Ramesh
文件大小960.16KB
发表时间1993
DOI10.1145/158511.158627
页码185-195

← 返回【学霸图书馆】主页