Automated design of multiple-valued logic circuits by automated theorem proving techniques

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.