Affiliation:
1. The Mitre Corporation, Bedford, Massachusetts
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference15 articles.
1. Special cases of the decision problem;Revue Philosophique de Louvain,1951
2. CHURCH ALONZO. Introduction to Mathematical Logic Vol. 1. Princeton University Press Princeton N. J. 1956. CHURCH ALONZO. Introduction to Mathematical Logic Vol. 1. Princeton University Press Princeton N. J. 1956.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献