Social Processes and Proofs of Theorems and Programs (1977)
Social Processes and Proofs of Theorems and Programs (1977)
复制标题
DOI：
10.7551/mitpress/12274.003.0046
复制
发表时间：
2021-02
期刊：
影响因子：
--
通讯作者：
R. DeMillo;R. Lipton;A. Perlis
中科院分区：
文献类型：
--
作者：
R. DeMillo;R. Lipton;A. Perlis
