Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000)
1982 ◽
Vol 129
(5)
◽
pp. 216