Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000) | IEEE Conference Publication | IEEE Xplore