Author: Or.) International Symposium on Multiple-Valued Logic (30th : 2000 : Portland