Church's Thesis and Principles for Mechanisms 论文
1980Studies in logic and the foundations of mathematics引用 329
Computability, Logic, AI AlgorithmsCellular Automata and Applicationssemigroups and automata theory
详细信息
- 发表期刊/会议
- Studies in logic and the foundations of mathematics
- 发表日期
- 1980-01-01
- 发表年份
- 1980
关键词
Computability, Logic, AI AlgorithmsCellular Automata and Applicationssemigroups and automata theory