发现好书期刊,享受阅读乐趣
海量图书期刊资源,随时随地畅享阅读乐趣
[ACM Press the seventeenth annual ACM symposium - Providence, Rhode Island, United States (1985.05.06-1985.05.08)] Proceedings of the seventeenth annual ACM symposium on Theory of computing - STOC '85 - Concurrent dynamic logic
Peleg, D
- 作者Peleg, D
- 文件大小789.20KB
- 发表时间1985
- DOI10.1145/22145.22172
- 页码232-239
← 返回【学霸图书馆】主页