Proceedings, IEEE 42nd International Symposium on Multiple-Valued Logic. ISMVL 2012 [Title page i] | IEEE Conference Publication | IEEE Xplore