10 results
Contributors
-
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- The Cambridge Dictionary of Christianity
- Published online:
- 05 August 2012
- Print publication:
- 20 September 2010, pp xi-xliv
-
- Chapter
- Export citation
High Rate of Negative Results of Tuberculin and QuantiFERON Tests Among Individuals With a History of Positive Skin Test Results
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 27 / Issue 5 / May 2006
- Published online by Cambridge University Press:
- 21 June 2016, pp. 436-441
- Print publication:
- May 2006
-
- Article
- Export citation
Looking Backward, Looking Forward: MLA Members Speak
-
- Journal:
- PMLA / Publications of the Modern Language Association of America / Volume 115 / Issue 7 / December 2000
- Published online by Cambridge University Press:
- 23 October 2020, pp. 1986-2078
- Print publication:
- December 2000
-
- Article
- Export citation
Hao Wang. Formalization and automatic theorem-proving. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume 1, edited by Wayne A. Kalenich, Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 51–58.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
- Print publication:
- June 1974
-
- Article
- Export citation
Bruce Kallick. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968, Volume 1, Mathematics, Software, edited by A. J. H. Morrell, North-Holland Publishing Company, Amsterdam 1969, pp. 269–275.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 656
- Print publication:
- December 1973
-
- Article
- Export citation
Michael O. Rabin and Hao Wang. Words in the history of a Turing machine with a fixed input. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 526–527.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 508
- Print publication:
- 17 November 1969
-
- Article
- Export citation
B. Dunham, R. Fridshal, and G. L. Sward. A non-heuristic program for proving elementary logical theorems. English, with French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, and Butterworths, London, 1960, pp. 282–285. - B. Dunham, R. Fridshal, and J. H. North. Exploratory mathematics by machine. Recent developments in information and decision processes, edited by Robert E. Machol and Paul Gray, The Macmillan Company, New York1962, pp. 149–160. - B. Dunham and J. H. North. Theorem testing by computer. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N. Y., April 24, 25, 26, 1962, Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 173–177.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 266
- Print publication:
- August 1967
-
- Article
- Export citation
Alonzo Church. Application of recursive arithmetic to the problem of circuit synthesisSummaries of talks presented at the Summer Institute for Symbolic Logic Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N. J., 1960, pp. 3–50. 3a-45a.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
- Print publication:
- December 1963
-
- Article
- Export citation
Some results in church's restricted recursive arithmetic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-342
- Print publication:
- December 1957
-
- Article
- Export citation