8 results
Contributors
-
-
- Book:
- The Cambridge Dictionary of Christianity
- Published online:
- 05 August 2012
- Print publication:
- 20 September 2010, pp xi-xliv
-
- Chapter
- Export citation
Andreas Weiermann. An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions. Discrete Mathematics and Theoretical Computer Science, vol. 6 no. 1 (2003), pp. 133–141.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, p. 89
- Print publication:
- March 2005
-
- Article
- Export citation
N. V. Bélákin. Modélirovanié mašin T'úringa na sétkah (Simulation of Turing machines on nets). Diskrétnyj analiz, no. 1 (1963), pp. 32–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 199
- Print publication:
- March 1972
-
- Article
- Export citation
N. V. Bélákin. Vyčislénié efféktivnyh opératorov na mašinah T'úringa s ograničénnym stiraniém (Computation of effective operators on Turing machines with restricted erasure). Algébra i logika, Séminar, vol. 2 no. 1 (1963), pp. 19–23.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 198
- Print publication:
- March 1972
-
- Article
- Export citation
O. B. Lupanov. Ob odnom métodé sintéza shém (On a method of circuit synthesis). Izvéstiá vysših učébnyh zavédénij, Radiofizika, no. 1 (1958), pp. 120–140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 593-594
- Print publication:
- December 1970
-
- Article
- Export citation
R. Fréjvald. Složnost' raspoznavaniá simmétrii na mašinah T'uringa s vhodom (Complexity of recognition of symmetry on Turing machines with input). Algébra l logika, Séminar, vol. 4 no. 1 (1965), pp. 47–58. - Á. M. Barzdin'. Složnost' raspoznavaniá simmétrii na mašinah T'úringa (Complexity of recognition of symmetry on Turing machines). Problémy kibérnětiki, vol. 15 (1965), pp. 245–248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 159
- Print publication:
- March 1970
-
- Article
- Export citation
Norman R. Scott. Introduction to switching algebra. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 1–13. - W. J. Cadden. Binary numbers, codes, and translators. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 15–30. - J. P. Runyon. Formulation of switching problems. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 31–45. - E. J. Tanana. The map method. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 47–65. - E. J. MccluskeyJr., Minimization theory. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 67–88. - T. C. Bartee. Design using computers. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 89–102. - References for Part I. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 103–105. - E. J. MccluskeyJr., Introduction to state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 109–119. - J. P. Runyon. Derivation of completely and partially specified state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 121–144. - S. H. Unger. Simplification of state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 145–170. - Montgomery PhisterJr., Circuit synthesis from state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 171–186. - I. S. Reed. Mathematical structure of sequential machines. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 187–196. - References for Part II. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 196–200. - Index. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 201–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-252
- Print publication:
- June 1962
-
- Article
- Export citation
Frederick C. HennieIII., Iterative arrays of logical circuits. M.I.T. Press research monograph. The M.I.T. Press, Cambridge, Mass., and John Wiley Sons, Inc., New York and London, 1961, x + 242 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-107
- Print publication:
- March 1962
-
- Article
- Export citation