- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Edward F. Moore
16 found
Order:
- Entscheidungsproblem Reduced to the ∀∃∀ Case.A. S. Kahr, Edward F. Moore & Hao Wang - 1962 - Journal of Symbolic Logic 27 (2):225-225.
- (2 other versions)Switching Circuits and Logical Design.Edward F. Moore - 1958 - Journal of Symbolic Logic 23 (4):433-434.
- Machine Aid for Switching Circuit Design.Claude E. Shannon & Edward F. Moore - 1954 - Journal of Symbolic Logic 19 (2):141-141.
- (1 other version)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.
- (1 other version)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.
- 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.
- (1 other version)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.
- Ostianu V. M.. O sintézé kontaktnyh shém s šagovymi péréklúčatélámi. Doklady Akadémii Nauk SSSR, vol. 103 , pp. 827–830.Ostianu V. M.. On the synthesis of switching circuits with selector switches. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 7 pp. [REVIEW]Edward F. Moore - 1959 - Journal of Symbolic Logic 24 (1):76-76.
- (1 other version)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.
- (1 other version)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.
- (1 other version)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.
- 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.
- (2 other versions)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.
- Review: David A. Huffman, The Design and Use of Hazard-Free Switching Networks. [REVIEW]Edward F. Moore - 1960 - Journal of Symbolic Logic 25 (3):301-302.
- Review: V. M. Ostianu, On the Synthesis of Switching Circuits with Selector Switches. [REVIEW]Edward F. Moore - 1959 - Journal of Symbolic Logic 24 (1):76-77.
- Šé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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5d8df9484f-2n7kc uwo