论文信息 - Many-valued logical machines - 字舞流文

Many-valued logical machines

McCallum and Smith (1) have developed a logical computer which solves problems which are essentially of the following kind.

Alan Rose | A. Rose

[1] K. Bochenek,et al. Application of bi-elemental boolean algebra to electronic circuits , 1955 .

[2] Emil L. Post. Introduction to a General Theory of Elementary Propositions , 1921 .