13 found
Order:
  1.  21
    Entscheidungsproblem Reduced to the ∀∃∀ Case.A. S. Kahr, Edward F. Moore & Hao Wang - 1962 - Journal of Symbolic Logic 27 (2):225-225.
  2.  20
    Machine Aid for Switching Circuit Design.Claude E. Shannon & Edward F. Moore - 1954 - Journal of Symbolic Logic 19 (2):141-141.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  36
    Cardot Claude. Quelques résultats sur l'application de l'algèbre de Boole à la synthèse des circuits à relais. Annales des télécommunications, vol. 7 , pp. 75–84. [REVIEW]Edward F. Moore - 1959 - Journal of Symbolic Logic 24 (3):260-261.
  4.  74
    Caldwell Samuel H.. Switching circuits and logical design. John Wiley & Sons, Inc., New York 1958, and Chapman & Hall Limited, London 1958, xvii + 686 pp. [REVIEW]Edward F. Moore - 1958 - Journal of Symbolic Logic 23 (4):433-434.
  5.  43
    Gould Roderick. A note on contact networks for switching functions of four variables. Transactions of the I.R.E. Professional Group on Electronic Computers, vol. EC-7 no. 3 , pp. 196–198. [REVIEW]Edward F. Moore - 1959 - Journal of Symbolic Logic 24 (3):261-261.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  39
    Huffman David A.. The design and use of hazard-free switching networks. Journal of the Association for Computing Machinery, vol. 4 no. 1 , pp. 47–62. [REVIEW]Edward F. Moore - 1960 - Journal of Symbolic Logic 25 (3):301-301.
  7.  85
    Hennie Frederick C.. Analysis of bilateral iterative networks. Transactions of the I.R.E. Professional Group on Circuit Theory, vol. CT-6 no. 1 , pp. 35–45. [REVIEW]Edward F. Moore - 1959 - Journal of Symbolic Logic 24 (3):259-260.
  8.  42
    Muller David E.. Complexity in electronic switching circuits. Transactions of the IRE Professional Group on Electronic Computers, vol. EC-5 no. 1 , pp. 15–19. [REVIEW]Edward F. Moore - 1960 - Journal of Symbolic Logic 25 (3):300-300.
  9.  72
    Moisil Grigore C.. Dezvoltarea in R.P.R. a teorici algebrice a schemelor cu contacte şi relee . Automatica şi electronica, vol. 3 no. 4 , pp. 152–160. [REVIEW]Edward F. Moore - 1963 - Journal of Symbolic Logic 28 (1):104-104.
  10.  62
    Moisil Gr. C.. Rapport sur le développement dans la R.P.R. de la théorie algébrique des mécanismes automatiques. Anatele Universităţii C. I. Parhon, seria Acta logica, vol. 2 no. 1 , pp. 145–199. [REVIEW]Edward F. Moore - 1963 - Journal of Symbolic Logic 28 (2):174-174.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11.  70
    Review: O. B. Lupanov, On the Possibilities of Designing Circuits out of Various Elements; O. B. Lupanov, On the Synthesis of Contact Circuits; O. B. Lupanov, On the Synthesis of Contact Networks. [REVIEW]Edward F. Moore & O. B. Lupanov - 1959 - Journal of Symbolic Logic 24 (1):76.
  12.  74
    Phister Montgomery Jr., Logical design of digital computers. John Wiley & Sons, Inc., New York 1958, and Chapman & Hall, Limited, London 1958, xvi + 408 pp. [REVIEW]Edward F. Moore - 1958 - Journal of Symbolic Logic 23 (3):363-365.
  13.  38
    Šéstakov V. I.. Pérfokartočnyj métod sintéza mnogotaktnyh réléjnyh sistém Avtomatika i téléméhanika, vol. 19 , pp. 592–605.Shestakov V. I.. A punched card method for synthesizing relay systems. English translation of the preceding. Automation and remote control, vol. 19 no. 6 , pp. 581–592. [REVIEW]Edward F. Moore - 1959 - Journal of Symbolic Logic 24 (3):259-259.