J. C. Shepherdson 人物
相关论文查看全部 (3)
Computability of Recursive Functions
1963Journal of the ACM引用 404
The Reduction of Two-Way Automata to One-Way Automata
1959IBM Journal of Research and Development引用 301
Effective procedures in field theory
1956Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences引用 255
相关公司查看全部 (2)
University of BristolUNIVERSITY
University of California, BerkeleyUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据