微软研究院
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
第 4701 – 4710 条结果(共 4702 条结果)
Yuri Gurevich
AMS Translations | October 1965, 第 46 卷: pp. 165-192
Yuri Gurevich
Algebra and Logic | April 1963, pp. 37-39