微软研究院
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
第 4731 – 4740 条结果(共 4734 条结果)
Butler Lampson, W.W. Lichtenberger, M.W. Pirtle
Proceedings of the IEEE | December 1966, 第 54 卷(12): pp. 1766-1774
Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.
Yuri Gurevich
Algebra and Logic (Russian) | July 1966, pp. 25-35
Yuri Gurevich
AMS Translations | October 1965, 第 46 卷: pp. 165-192
Yuri Gurevich
Algebra and Logic | April 1963, pp. 37-39